Christel Baier - Curriculum vitae#

Education:

• 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

Activities:

• 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.