LaBRI
Grégoire SUTRE
CNRS Research Fellow
CNRS

About

Since October 2001, I hold a CNRS research fellow position at LaBRI, in the Modeling and Verification Group of the Formal Methods Team. My research concerns the formal modelling and algorithmic verification of complex systems. Applications that I've been involved with range from low-level systems code to high-level biological models. I am interested in both theoretical and practical aspects of verification.

Contact

Laboratoire Bordelais de
Recherche en Informatique
CNRS UMR 5800
Université de Bordeaux
Building A30, U. Bordeaux 1
351, cours de la Libération
33405 Talence Cedex
FRANCE
Office 263
Phone +33 5 40 00 33 36
Fax +33 5 40 00 66 69
Email gregoire.sutre@labri.fr
Web http://www.labri.fr/~sutre
LinkedIn View my profile on LinkedIn
Grégoire Sutre's photo

Research

Main topics

Publications & talks

Software

Projects

Teaching

Current courses

Former courses

Professional Activities

Seminar

Events

Students

Master thesis proposals

Ph.D. thesis proposals

Current Ph.D. students

Former Ph.D. students

Extra

Grégoire Sutre's avatar