Dr Julien Lange

Research interests

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 [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,CAV'19,CONCUR'19].
  • Static verification of message-passing programs. In particular, 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.

 

Educational background

Before joining the Department of Computer Science at Royal Holloway, I was a lecturer at The University of Kent. Before that I was a Research Associate at Imperial College London, in Nobuko Yoshida's team 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 originally from Belgium, where I graduated (BSc and MSc) from the University of Namur -- Maitrise en Science Informatique, avec Grande Distinction.

View all (20) »

ID: 39066467