Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-1 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre |
| Keywords | proof of programms, static analysis, verification, model-checking |
Aktuelle Kontaktadresse
| Land | Frankreich |
|---|---|
| Ort | Cachan |
| Universität/Institution | Ecole Normale Superieure de Cachan |
| Institut/Abteilung | Departement d'Informatique |
Gastgeber*innen während der Förderung
| Prof. Dr. Joost-Pieter Katoen | Lehrstuhl für Informatik II, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen |
|---|---|
| Beginn der ersten Förderung | 01.01.2010 |
Programm(e)
| 2009 | Humboldt-Forschungsstipendien-Programm für erfahrene Forschende |
|---|
Publikationen (Auswahl)
| 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), , |