Andreas Podelski - Curriculum Vitae
Previous Positions
- Max Planck Institute for Computer Science, Research Group Leader, 1995-2006.
- DEC PRL (Digital Paris Research Laboratory), Researcher (in LIFE project), 1992-94.
- University of Paris 7, LITP (Laboratoire Informatique Theorique Programmation, now: LIAFA), Associate Professor (Maitre de Conferences), 1989-92
- University of California at Berkeley, Postdoc, 1988-89
Visiting Positions
- Researcher in SLAM project at Microsoft Research, Redmond WA, 2000-01.
- Visiting Professor at Ecole Normale Superieure (ENS), Paris, 2000.
- Visiting Professor at University of Nice, ESSI Lab, 1995.
- Consultant at MCC, Austin, Texas. 1987.
- Visiting PhD Student at Brown University, Providence, Rhode Island, 1985/86.
Degrees
- Habilitation, University of Paris 7, January 1995.
- Doctorate, University of Paris 7, February 1989; Thesis on Tree Automata. Supervisor Maurice Nivat.
- Diplom, University of Münster, June 1985; Thesis on Normed Networks. Supervisor Dieter Rödding.
European Projects
- ACCLAIM, BRA on Concurrent Constraint Programming Languages.
- Contessa, WG on Constraints and Databases.
- eJustice and R4eGov, IP's on trusted electronic support for juridical processes.
Tool Projects
- Terminator, software model checker for termination and liveness, with Byron Cook and Andrey Rybalchenko.
- ARMC, the logical choice for software model checking, with Andrey Rybalchenko.
-
DMC, constraint-based symbolic model checking, with Giorgio Delzanno.