School of Computing
University of Kent,
School of Computing, University of Kent
My publications are available from the
University of Kent's Academic Repository.
I belong to the following research groups:
My research interests are centred on developing mathematically rigorous theories and tools to support software practitioners in specifying, designing, maintaining and implementing concurrent and distributed programs. In particular, I currently work on the following topics:
Choreography reconstruction: how to build a bird's eye view of a
distributed system from specifications of its components. See [1,
- 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
- 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 our latest paper on this topic. This paper has been nicely summarised by other people: see this post on the morning paper and this blog post.
Before joing the School of Computing at Kent, I was a Research Associate at Imperial College London, in the team
From Data Types to Session Types -- A Basis for Concurrency and Distribution
I obtained my PhD from the University of Leicester
under the supervision
of Emilio Tuosto
while working as a Graduate Teaching Assistant.
Before moving to Leicester, I worked for a year in The Netherlands at the
European Space Agency
in the On-board Software Systems section, as part of the YGT programme.
I am orignally from Belgium, where I graduated (BSc and MSc) from the University of Namur
-- Maitrise en Science Informatique, avec Grande Distinction.