Bernard Paul Serpette

  • Organisations: INRIA
  • Research Unit: INRIA Bordeaux Sud-Ouest
  • E-mail : This e-mail address is being protected from spambots. You need JavaScript enabled to view it

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