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
Workshop VECOS'10
(Program Committee Member).
Summer School MOVEP'10
(Program Committee Member).
Summer School VTSA'08
(Invited Speaker).
Summer School MOVEP'08
(Steering Committee Member).
Workshop 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 : 21/07/2010 16:11:39 +0200