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.
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)