You are here: Home Team Andreas Podelski Andreas Podelski - Curriculum …

Andreas Podelski - Curriculum Vitae

Previous Positions

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.


  • 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