James J. Leifer / home

home  -  research  -  links  -  recipes

About

History:

• 1 September 2006: I now divide my time between INRIA Rocquencourt and the new Microsoft Research-INRIA Joint Centre.
• 1 September 2002: Research scientist (Chargé de recherche), Moscova Project, INRIA Rocquencourt.
• 1 March 2001: Postdoc, Moscova Project, INRIA Rocquencourt.
• October 1995 - February 2001: Ph.D. student, Theory and Semantics Group, Computing Laboratory, University of Cambridge, supervised by Robin Milner.

Search engine fodder: I'm also known as James Leifer and Jamey Leifer, but not Jamie Leifer, James Liefer, James Leiffer, James Lifer, James Leiser.

Research

All my papers.

Interests: Language design for distributed programming; automatic synthesis of cryptographic protocols; type safety of distributed communication; Jocaml; distributed failure detection; distributed transactions; process calculi for concurrent computation; operational semantics; bisimulation theory.

Program committee: EXPRESS 2002, POPL 2009.

Teaching

• 2005-2006: Masters (MPRI) Concurrency course.
• 2004-2005: Masters (MPRI) Concurrency course.

Milner in Paris

Full information about his September 2005 minicourse.

Jobs offered

• [2004-01] Proposition de stage pour le DEA Programmation 2003/2004.
• [2005-01] MPRI 2004/2005 Internship in the MOSCOVA group, INRIA Rocquencourt: ``High level languages for distributed programming --- middleware and subtyping''.

Informations locales

J'ai créé une page qui affiche les indemnitées journalières en euros.

Secourisme

J'ai crée une page qui affiche les mises à jour des référentiels de secourisme.

Coordinates

Email:      James.Leifer@inria.fr
Web:        http://pauillac.inria.fr/~leifer/
Local time: Paris time (at timeanddate.com)
                                  
Mail:       INRIA Rocquencourt               MSR-INRIA
            Domaine de Voluceau              Parc Orsay Université
            BP 105                           28 rue Jean Rostand
            78153 Le Chesnay Cedex           91893 Orsay Cedex
            France                           France
Office:     823
Tel:        +33 1 39 63 53 52                +33 1 69 35 69 81
Tel (sec):  +33 1 39 63 57 19                +33 1 69 35 69 70
Fax:        +33 1 39 63 54 69                +33 1 69 35 69 69
Lat/long:   48.83705 2.0995                  48.708927 2.176996 (at maps.google.com)
    

This page: http://pauillac.inria.fr/~leifer/.

[Validate page.]