!!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.\\ \\