Hello

My name is Jonah Pears orcid id and I am currently a Postdoc researcher at the University of Kent, UK. I am a member of the PLAS research group, and am currently working on a project under Dr David Castro-Perez. During my PhD I was supervised by Dr Laura Bocchi – I talk more about my PhD research here.

Research

Interests

TODO

Publications

See my profile on DBLP for a better overview.

PhD Research

I started by PhD in September of 2021 and have since passed my viva (January of 2025). During this time I worked on developing the theory of Timeout Asynchronous Session Types (TOAST for short) [a, b], which I then implemented in Erlang as part of a (proof-of-concept) tool-chain [c] for generating correct-by-construction implementations, which also featured dynamic verification via runtime-monitoring – I have made a short blog post about this.

From a high-level view, the research aims to improve existing models that we can use to reason on the behaviour of, e.g., devices on the web, in order to facilitate them having a broader range of real-world applications. At a lower-level: (i) these models capture the behaviour of interactions in asynchronous, concurrent (and possibly distributed) systems, and (ii) the extensions focused on improving their descriptive capabilities such that they can model the behaviour of timeouts (e.g., a server can receive a response within n time units after which it may do something else). (My thesis is available here.)

This Blog

I plan would like to use this blog to host articles that accompany my work (though, let us see how this goes). The writing here will likely be less formal than usual, and will try to assume as little as possible about the reader.

Posts

subscribe via RSS