School of Computing

Julien Lange


Photo of J Lange, if available
  • Room SW13
    School of Computing
    University of Kent,
    CT2 7NF


My publications are available from the University of Kent's Academic Repository.

Research Interests

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, 2, 3] 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 [1,2].
  • 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.

Professional Activities

PC memberships:

About Me

Before joing the School of Computing at Kent, I was a Research Associate at Imperial College London, in the team of Nobuko Yoshida in the project 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.

Other Links

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 16/10/2017