Etienne Lozes
Assistant Professor
include.html
News
- cHEAP: a
frama-C plugin for separation logic
- HDR
defence.
- I am now in leave at the University of Kassel (Germany).
Research Interests
- Concurrency theory: process algebras, spatial logics
- Program's proof: Hoare logic, Separation Logic
- Verification: infinite state systems (counter machines, queue machines)
All publications
Some talks
DBLP entry
Tools
- Prototype of TOPICS. The
Java version of
TOPICS
is the up to date one, and has been completely written by Arnaud Sangnier.
- Heap-hop
(with Jules Villard and Cristiano Calcagno).
Teaching
Co-workers
Phd students :
Arnaud Sangnier (soutenu en nov. 08), Jules Villard, R?i Brochenin.
Recent co-authors :
Stéphane Demri,
Cristiano Calcagno,
Florent Jacquemard,
Ralf Treinen,
Benedikt Bollig.
The ones that introduced me to computer science:
Daniel Hirschkoff,
Davide Sangiorgi,
Luis Caires.
ANR Blanc
Panda 
ANR Arpege Veridyc