Dr Julien Lange has joined the University of Kent as a lecturer in the School of Computing. Julien is a member of the Programming Languages and Systems Research Group and is based at the Canterbury campus.
Julien was a Young Graduate Trainee at the European Space Agency in the Netherlands from 2008 to 2009 and went on to do his PhD at the University of Leicester. His research centres on the verification of concurrent systems and programs using mathematically rigorous theories, in particular: behavioural types and automata theory.
‘I am a theoretician but I am very keen on getting my theories put into practice. I’ve recently worked on applying behavioural types to the Go programming language, a language that’s become quite trendy recently.’
This work was picked up by a few blogs and is available at:
https://blog.acolyer.org/2017/02/02/fencing-off-go-liveness-and-safety-for-channel-based-programming/
https://emil.hessman.se/articles/fencing-off-go