Jon Kerridge

Jon Kerridge

Prof Jon Kerridge BSc MSc PhD FBCS CITP FHEA CEng

Professor

Biography

Fellow of the British Computer Society; Chartered Engineer; Member of the EPSRC College of Peers

Research Areas

Esteem

Grant Reviewer

  • Full member of EPRSC peer review college
  • Grant reviewer for Carnegie Trust

 

Research Degree External Examining

  • Ph D Examining

 

Date


108 results

Solving the Santa Claus Problem Over a Distributed System

Conference Proceeding
Marchant, D., & Kerridge, J. (2018)
Solving the Santa Claus Problem Over a Distributed System. In K. Chalmers, J. Bækgaard Pedersen, F. Barnes, J. Broenink, R. Ivimey-Cook, A. Sampson, …B. Vinter (Eds.), Communicating Process Architectures 2018
A working solution to the Santa Claus Problem is demonstrated that operates over a distributed system. It is designed and modelled using the client/server model to maintain a ...

Investigation of visual aspects of developmental dyslexia in children

Journal Article
Piotrowska, B., Murray, J., Willis, A., & Kerridge, J. (2017)
Investigation of visual aspects of developmental dyslexia in children. Journal of Vision, 17(10), 640. https://doi.org/10.1167/17.10.640
Developmental dyslexia is a disorder characterised by difficulties with reading, despite adequate intelligence and education. Phonological deficits are often indicated as the ...

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons

Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017)
Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016
For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always...

Groovy Parallel Patterns: A Library to Support Parallelization

Presentation / Conference
Kerridge, J., Chalmers, K., & Pedersen, M. (2016, June)
Groovy Parallel Patterns: A Library to Support Parallelization. Paper presented at GR8Conf EU 2016, Copenhagen, Denmark

Using Concurrency and Parallelism Effectively - I

Book
Kerridge, J. (2014)
Using Concurrency and Parallelism Effectively - I. (2nd
The aim of this book is to show both students and practitioners that concurrent and parallel programming does not need to be as hard as it is often portrayed and in fact is of...

Using Concurrency And Parallelism Effectively - II

Book
Kerridge, J. (2014)
Using Concurrency And Parallelism Effectively - II. (2nd

Verifying the CPA Networking Stack using SPIN/Promela.

Conference Proceeding
Chalmers, K., & Kerridge, J. (2013)
Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013, (39-56
This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applic...

RDF recipes for context-aware interoperability in pervasive systems.

Conference Proceeding
Kosek, A., Syed, A., & Kerridge, J. (2012)
RDF recipes for context-aware interoperability in pervasive systems. In Proceedings of IEEE Symposium on Computers and Communications, (1017-1022). https://doi.org/10.1109/ISCC.2010.5546647
Nowadays home automation systems integrate many devices from security system, heating, ventilation and air conditioning system, lighting system or audio-video systems. Every t...

Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems.

Conference Proceeding
Kosek, A., Syed, A., & Kerridge, J. (2011)
Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems. In P. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & F. R. M. Barnes (Eds.), Communicating Process Architectures 2011, 143-156. https://doi.org/10.3233/978-1-60750-774-1-143
Since the invention of the light bulb, artificial light is accompanying people all around the world every day and night. As the light bulb itself evolved a lot through years, ...

Performance of the distributed CPA protocol and architecture on traditional networks.

Conference Proceeding
Chalmers, K. (2011)
Performance of the distributed CPA protocol and architecture on traditional networks. In P. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & J. Barnes (Eds.), Communicating Process Architectures 2011, (227-242). https://doi.org/10.3233/978-1-60750-774-1-227
Performance of communication mechanisms is very important in distributed systems frameworks, especially when the aim is to provide a particular type of behavior across a netwo...

Previous Post Grad projects

Non-Napier PhD or MSc by Research supervisions

  • PhD Supervison at Sheffield Polytechnic and University