Bernard Paul Serpette
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-17: INRIA SA, Indes team. Distributed computing, concurrency, synchronous languages, formal proofs.
2017-: INRIA Bordeaux Sud-Ouest, Phoenix team. Domain Specific Languages.