— Julien Lange MSc (University of Namur, Belgium)
Graduate Teaching Assistant, PhD Student
G1 Computer Science Building|
Department of Informatics,
University of Leicester,
T: +44 (0)116 252 3904
E: jlange (at) le.ac.uk
I have moved to
Imperial College London, this page is no longer maintained.
I graduated (Maitrise en Science Informatique, avec Grande Distinction) from the University of Namur, Belgium, in September 2008. My master's thesis is called "On Secure Services for Embedded Mobile Peer-to-peer Systems: Conceptual Framework and its Implementation in the Coordination Language SecureLime".
Right after that, I worked for a year in The Netherlands at the European Space Agency (YGT programme in the On-board Software Systems section).
I arrived in Leicester in September 2009 to start a PhD while working as a Graduate Teaching Assistant (GTA). My supervisor is Emilio Tuosto.
I have a broad interest in concurreny theory.
I am mainly working on formal modelling of distributed systems.
In particular, I am currently working on a framework whereby it is possible
to synthesize a global perspective of a distributed system from local specifications.
VOSENID, A Modular Toolkit for Distributed Interactions.
I am a PC member of ICE'2013.
Together with Frank Nebel, I organise PhD Seminars, a series of presentations given by PhD and research students in computer science and mathematics from Leicester and other universities in the UK.
CW 301 Help Desk: Send me an email to make an appointment
Spring term 2012-2013:
In the past:
J. Lange and A. Scalas:
Choreography Synthesis as Contract Agreement.
Sixth Interaction and Concurrency Experience (ICE) 2013,
J. Lange and E. Tuosto:
Synthesising Choreographies from Local Session Types.
CONCUR 2012 – LNCS 2012, Volume 7454,
L. Bocchi, J. Lange and E. Tuosto:
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Scientific Annals of Computer Science, Volume 22.1: 61-104.
- L. Bocchi, J. Lange and E. Tuosto:
Amending Contracts for Choreographies.
Fourth Interaction and Concurrency Experience (ICE) 2011, EPTCS 59: 111-129.
- J. Lange and E. Tuosto:
A Modular Toolkit for Distributed Interactions.
Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES) 2010, EPTCS 69: 92-110.
- F. Benigni, A. Brogi, J. Buchholz, J-M. Jacquet, J. Lange and R. Popescu:
Secure P2P Programming on Top of Tuple Spaces.
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) 2008: 54-59.
- R. Blommestijn, J. Lange, C. Taylor and A. Winton: Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. DAta Systems In Aerospace (DASIA) 2009, Volume ESA SP-669.