Etienne Lozes

Assistant Professor

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, to appear.
• 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

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?

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique