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 [LT12, LTY15, LTY17] 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 [LY16,LY17].
- 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 [LNTY17,LNTY18] 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.
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)