Bernard Paul Serpette
Organisations: INRIA
Research Unit: INRIA
Sophia Antipolis
E-mail : Bernard.Serpette@inria.fr
Phone (Office) : +33 (0)4 92 38 77 95
Postal address : INRIA
- 2004, route des Lucioles - B.P. 93 - F-06902 Sophia Antipolis Cedex,
FRANCE
Bibliography on dblp
on Hal
or also
Scientific activities in short (when:where.what) :
1982-84: Phd at Paris VI and IRCAM. Programming languages, parallelism.
1984-85: IRCAM. Arithmetics compilation.
1985-86: Bull & INRIA. Functional languages, compilation.
1986-87: INRIA Rocquencourt, Le_Lisp team. Compilation, user interface.
1987-89: INRIA Rocq., ALE team. Exact arithmetics.
1989-94: INRIA Rocq, Polytechnique, ICSLA team. Semantics, static analysis, continuations, compilation
1995 -96: INRIA Rocq, AR team. Field Programmable Gate Array.
1997 -98: INRIA Rocq, ATGC team. Field Programmable Gate Array. user interface
1999-2006: INRIA Sophia-Antipolis, OASIS team. Static analysis, virtual machine, active objects.
2007: INRIA SA, Detached. Optical character recognition
2008: INRIA SA, Lognet team. Peer-to-peer networks
2009-: INRIA SA, Indes team. Distributed computing, concurrency, synchronous languages, formal proofs.