My publications are available from the University of Kent's Academic Repository.
I belong to the following research groups:
- Choreography reconstruction: how to build a bird's eye view of a distributed system from specifications of its components. See [CONCUR'12, POPL'15] notably.
- Relationships between session types and automata theories: session types are a type discipline for concurrent programs (typing the behaviour of a program instead of its data). Session types theories relate to many other theories (e.g., model checking, communicating automata, etc). See [TACAS'16,FoSSaCS'17].
- Static verification of message-passing programs. In particular with colleagues from Imperial College London, I am working on a tool and theory to statically detect deadlocks in Go programs. See [POPL'17,ICSE'18] on this topic. These papers have been nicely summarised by other people: see this post and this other post on the Morning Paper blog, as well as this blog post. See also the related survey we have done with Nicolas Dilley, see [SANER'19].
TeachingI am currently teaching on the following courses:
- CO871 - Advanced Java for Programmers (with Richard Jones)
- CO894 - Development Frameworks (with Stefan Marr)
- CO663 - Programming Languages: Applications and Design (with Radu Grigore)
- CO885 - Project Research (with Dominique Chu)
Professional ActivitiesPC memberships:
- Upcoming: Erlang 2019, ICE 2019, YR-CONCUR 2019
- Past: ICE 2013, ICE 2014, ICE 2015, ICE 2016, PrePost 2016, ICE 2017, ICE 2018