Gallium

From Gallium

Jump to: navigation, search

The Gallium team conducts research on the design, formalization and implementation of programming languages and systems. The Caml language embodies many of our research results. Our objective is to improve the reliability of software systems through:

  • higher-level, safer, more expressive programming languages based on the functional programming paradigm;
  • automatic error detection via type systems and related static analyses;
  • better linguistic support for formal methods, especially on-machine proofs of programs.

The Gallium team is the successor to the Cristal project.

Contents

Members of the Gallium team

  • Sandrine Blazy (assistant professor, CNAM)
  • Damien Doligez (research scientist)
  • Alain Frisch (research associate, corps des Télécoms)
  • Xavier Leroy (senior research scientist, team leader)
  • François Pottier (research scientist)
  • Didier Rémy (senior research scientist, vice-leader)


  • Michel Mauny (associate senior research scientist)


  • Maxence Guesdon (technical staff)
  • Virgile Prevosto (technical staff)
  • Nicolas Pouillard (technical staff)


  • Richard Bonichon (PhD student)
  • Zaynah Dargaye (PhD student)
  • Nadji Gauthier (PhD student)
  • Yann Regis-Gianas (PhD student)
  • Boris Yakobowski (PhD student)


  • Nelly Maloisel (administrative assistant)

Ex-members

  • Berke Durak (technical staff)

Software development


  • OCamlDuce (OCaml + the CDuce XML processing language).
  • Active DVI, a programmable DVI viewer with fancy graphics effects, great for making LaTeX presentations.
  • WhizzyTeX, a WYSIWYG Emacs mode for editing LaTeX documents.

Publications

Recent publications of the Gallium team (See also individual home pages.)

Others

Personal tools
Espace privé