LaBRI
Grégoire SUTRE
CNRS Research Fellow
CNRS

About

Since October 2001, I hold a CNRS research fellow position at LaBRI, in the Modelling and Technologies for Verification Group of the Formal Methods and Models 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
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

Administration

Seminar

Events

Students

Internship proposals

Master thesis proposals

Current Ph.D. students

Former Ph.D. students

Former Post-docs

Extra

Grégoire Sutre's avatar