Gérard Boudol

Welcome to my home page. I am an Emeritus Researcher at INRIA, Sophia-Antipolis Méditérranée, within the INDES project. My research interests include theory of concurrency (process algebras, verification, ``true concurrency'', multithreading, relaxed memory models), lambda-calculus, models of higher-order and mobile distributed systems, semantics of objects, security. I am also interested in programming languages design and semantics, type theories, logics.

This picture was taken in 1998. Another, more recent side of me is here


Address

INRIA
2004, Route des Lucioles
B.P. 93
06902 Sophia Antipolis Cedex
FRANCE

Tel: (33) (0)4 92 38 79 40
Fax: (33) (0)4 92 38 50 29
Email: Gerard.Boudol@sophia.inria.fr

Some Links

The page Calculi for Mobile Processes provides information and links related to research on the theory of mobile systems. See also Xudong Guan's Mobile Ambients page, and Jonathan Bowen's Concurrent Systems. This is part of the WWW Virtual Library on Computing (other topics may be found here). I use frequently the DBLP bibliographical database, the Scientific Literature Digital Library (CiteSeer) -- now CiteSeerX, The Collection of Computer Science Bibliographies, and NCSTRL, the Networked Computer Science Technical Reference Library. To see the home page of the European Association for Theoretical Computer Science, of which I am a member, hit EATCS. Some useful email forums are concurrency, types and moca (mobile calculi).


Some Publications

Below you will find the list of (what I consider) my main publications. For the items marked with a square, a PostScript and/or a pdf is available. Please ask me if you wish to have a copy of some item marked with a circle, where you can only browse an Abstract. I have classified these papers according to the following entries: security, mobility (especially pi-calculus and its variants), lambda-calculus, concurrency and verification, semantics of objects, term rewriting systems.


Top | Publications : Security | Mobility | Lambda | Concurrency | Objects | Rewriting


Top | Publications : Security | Mobility | Lambda | Concurrency | Objects | Rewriting

See also: On the semantics of the call-by-name CPS transform, Some chemical abstract machines.


Top | Publications : Security | Mobility | Lambda-Calculus | Concurrency | Objects | Rewriting

See also: Typing termination in a higher-order concurrent imperative language, Lambda-calculus, multiplicities and the pi-calculus, The pi-calculus in direct style, Some chemical abstract machines.


Top | Publications : Security | Mobility | Lambda | Concurrency and Verification | Objects | Rewriting


Top | Publications : Security | Mobility | Lambda | Concurrency | Semantics of Objects | Rewriting

See also: Recursion in the call-by-value lambda-calculus, Safe recursive boxes.


Top | Publications | Security | Mobility | Lambda | Concurrency : Objects | Term Rewriting Systems