!!!Christel Baier
%%(float:left;margin-right:30px;)
[{Image src='Christel Baier.jpg' caption='' height='200' alt='Christel Baier'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://wwwtcs.inf.tu-dresden.de/~baier]
\\ \\
\\ \\
__Present and Previous Positions__
*Since 2006 Full professor (W3) for Algebraic and Logical Foundations of Computer Science, Technical University Dresden
*1999-2006 Professor (C3) for Theoretical Computer Science, Rheinische-Friedrich-Wilhelms Universität Bonn
*Winter term 1998/99 Substitute professor for Computer Science, Universität Trier
*1994-1999 Research assistant (C1) at the Department for Mathematics and Computer Science, Universität Mannheim
*1990-1994 Research assistant, Department for Mathematics and Computer Science, Universität Mannheim
\\
__Fields of Scholarship__
*Particular probabilistic systems
*Modeling and specification formalisms
*Semantics of coordination languages
*(Probabilistic) model checking
*Quantitative analysis
*Temporal and modal logics
*Automata theory
\\
__Honours and Awards__
*2005 and 2006 Award for visiting professor (1 month in both years), CNRS/ENS Cachan, France
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Baier_Christel/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Baier_Christel/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Baier_Christel/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
-->[Other information|User/Baier_Christel/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit cbaier}]
[{ALLOW upload cbaier}]
[{ALLOW comment All}]