computer science

	STAFF — Julien Lange  MSc (University of Namur, Belgium) Graduate Teaching Assistant, PhD Student
	G1 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3904 E: jlange (at) le.ac.uk

About Me

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.

Research

I have a broad interest in the (formal) modelling of distributed systems. At the moment, I am interested in session types which shall be the main focus of my PhD studies (more information to come).

VOSENID, A Modular Toolkit for Distributed Interactions.

Teaching

• CW 301 Help Desk: Wednesday 13:00 - 14:00


• Winter term 2011-2012:
  • CO3098/CO7098: Web Technologies
  • CO1098: Information Management, more information on Blackboard


• Spring term 2011-2012:
  • CO3090/CO7090: Distributed Systems and Applications, more information on Blackboard
  • CO7207: Generative Development, more information on Blackboard

Publications

• 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.

Before Leicester

• 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.

• Julien Lange:
• About Me
• Research
• Teaching
• Publications
• Before Leicester

Author: Julien Lange (jlange (at) le.ac.uk), T: +44 (0)116 252 3904.
© University of Leicester September 2009. Last modified: 2nd February 2012, 14:39:04.
CS Web Maintainer. Any opinions expressed on this page are those of the author.