Grégoire SUTRE
Full-time CNRS researcher
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
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
IM
gregoiresutre@jabber.org
Research
Publications
.
Talks
.
Modeling and Verifying Group
of
Formal Methods Team
.
The FORWAL work group of the GDR GPL
.
McScM – Model Checker for Systems of Communicating fifo Machines
.
The ANR/RNTL Project SPaCIFY
.
The AVeriSS ANR/ARA Project
.
The Persée ACI Project
.
Berkeley Lazy Abstraction of Software Verification Tool
.
Master thesis proposals :
Accélération dans les domaines abstraits
[
HTML
]
Teaching
Software Verification
.
Events
Summer School VTSA'08
(Invited Speaker).
Summer School MOVEP'08
(Steering Committee Member).
AVOCS'06
(Program Committee Member).
Summer School MOVEP'06
(Co-organizer).
Spring School EJCACF'06
(Invited Speaker).
Other activities
The Raja Project
: a ray-tracer written in Java.
Comments to
Grégoire Sutre
Last modified : 10/10/2009 19:03:53 +0200