Etienne Lozes
Assistant Professor
include.html
Research Interests
- Concurrency theory: process algebras, spatial logics
- Program's proof: Hoare logic, Separation Logic
- Verification: infinite state systems (counter machines, queue machines)
Recent works
-
Tracking Heaps that Hop with Heap-Hop (with J. Villard and C. Calcagno),
TACAS 2010.
-
Towards Information as Resource in Separation Logic.
Workshop FMCS-PrivMod (FLoC 2010).
-
First-Order Constraint Systems with Multiple Congruence Relations
(with F. Jacquemard, R. Treinen, and J. Villard). Submitted.
-
Phases-Loop Acceleration of Count and Queue Systems
(with B. Bollig and J. Villard). Submitted.
All publications
Some talks
DBLP entry
Teaching
Co-workers
Phd students :
Arnaud Sangnier (soutenu en nov. 08), Jules Villard, Rémi 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.
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).
Looking for me?
ANR Blanc Panda 
ANR Arpege Veridyc