Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Lecturer, Assistant Professor, Researcher |
|---|---|
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory |
| Keywords | proof of programms, static analysis, verification, model-checking |
Current contact address
| Country | France |
|---|---|
| City | Cachan |
| Institution | Ecole Normale Superieure de Cachan |
| Institute | Departement d'Informatique |
Host during sponsorship
| Prof. Dr. Joost-Pieter Katoen | Lehrstuhl für Informatik II, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen |
|---|---|
| Start of initial sponsorship | 01/01/2010 |
Programme(s)
| 2009 | Humboldt Research Fellowship Programme for Experienced Researchers |
|---|
Publications (partial selection)
| 2010 | Etienne Lozes, Jules Villard: A spatial equational logic for the applied pi-calculus. In: Distributed Computing, 2010, 61-83 |
|---|---|
| 2009 | Etienne Lozes, Jules Villard, Cristiano Calcagno Proving Copyless Message Passing. In: 7th Asian Symposium on Programming Languages and Systems (APLAS'09). LNCS, 2009, 194-209 |
| Etienne Lozes, Florent Jacquemard, Jules Villard, Ralf Treinen: Multiple Congruence Relations, First-Order Theories on Terms, and Frames of the Applied Pi-Calculus. In: Proceedings of the Workshop on Theory of Security and Applications (TOSCA'11), , |