James J. Leifer / home


About

History:

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

Milner in Paris

Full information about his September 2005 minicourse.

Jobs offered

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