Grégoire SUTRE Chargé de recherche, CNRS

Version Française

English Version

Laboratoire Bordelais de Recherche en Informatique CNRS UMR 5800 Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex FRANCE

Bureau 211 Tél. +33 5 40 00 33 36 Fax +33 5 40 00 66 69 Email sutre@labri.fr Web http://www.labri.fr/~sutre IM gregoiresutre@jabber.org

Recherche

• Publications.
• Présentations.
• Groupe de travail de l'équipe MVTsi.
• Le projet d'ACI Persée.
• Berkeley Lazy Abstraction of Software Verification Tool.

Enseignement

• Conception Formelle en B.

Activités annexes

• The Raja Project : un lanceur de rayons écrit en Java.