Homepage
Research
Programming
Teaching
Contact
>
You are gladly invited to the defense of my
habilitation à diriger des recherches
on Friday December 2, 2011, 2pm,
room 435 at
Laboratoire de Recherche en Informatique
,
and to the traditional
pot de thèse
.
memoir
Deductive Program Verification
(
memoir
/
slides
)
committee
Gilles Barthe
(reviewer)
Yves Bertot
(reviewer)
Olivier Danvy
Roberto di Cosmo
Gérard Huet
K. Rustan M. Leino
(reviewer)
Xavier Leroy
Christine Paulin
Access information