Christel Baier - Curriculum vitae#


  • 1999: Habilitation (venia legendi) in Computer Science. Department for Mathematics and Computer Science. Universität Mannheim
  • 1994: Ph.D. in Computer Science (summa cum laude). Department for Mathematics and Computer Science, Universität Mannheim. Supervisor: Prof. Dr. Mila Majster-Cederbaum
  • 1990: Diploma in Mathematics, Universität Mannheim
  • 1984: High-school diploma (Abitur), Eduard Spranger Gymnasium Landau/Pfalz

  • Invited plenary talks at several conferences and workshops, e.g., MFPS'04, FMICS'05, WATA'06, SOFSEM'09, CONCUR'09, IFM'10,CiE'11.
  • Member of the editorial board of Journal of Universal Computer Science
  • Member of the steering committee of International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN) and Workshop on Quantitative Aspects of Programming Languages (QAPL)
  • Organizer/co-chair of conferences, workshops and other scientific events, e.g., QEST'05. CONCUR'06, QAPL'08 and '09, Dagstuhl seminar 10031
  • Member of the PC of various conferences and workshops, e.g., CAV, LICS, CONCUR, FOSSACS, ICALP, QEST, TACAS, ATVA, ...
  • Chair of the examination board for the bachelor, master and diploma program for Computer Science at the Technische Universität Dresden

Current research projects:

PI of 4 national projects (funded by the DFG).

Former PhD.students:
Alexander Asteroth, 2000, Universitaet Bonn (co-advisor)
Nathalie Bertrand, 2006, CNRS/ENS Cachan (co-advisor)
Marcus Groesser, 2008, TU Dresden
Verena Wolf, 2008, Universitaet Mannheim (co-advisor)
Frank Ciesinski, 2011, TU Dresden

Currently 4 Ph.D. students at the Technische Universität Dresden.

Imprint Privacy policy « This page (revision-2) was last changed on Sunday, 11. December 2011, 14:24 by Kaiser Dana
  • operated by