Christel Baier#
Short laudatio by Reinhard Wilhelm#
Christel Baier despite her young age has already published over hundred scientific papers and two books, both of them with prominent publishers, and has left her stamp as one of the leading theory based researchers in Europe. This is also evident by the fact that she has already given some 20 keynotes and that some of her results have provided the basis for valuable applications in industry. 2010 she was nominated for the Leibniz DFG-award.
Baier was one to recognize the importance of probabilistic verification early. She is internationally seen as the German mother of this important area. Together with Prof. Kwiatkowska, Oxford she is author of the first and important publications on this subject and the developer of the algorithmic basis of PRISM. It must be understood that also 100% verification is often impossible, 99.999% verification, using probabilistic methods is, and is sufficient for a range of important applications. Hence the deep theoreticla work of Baier has lead to very successful applications and is sucha typical show-case of the importance of theory also to industry.
Baier has substantially contributed to over 40 conferences and workshops, in 2010 e.g. to 8. She has been involved in over 20 Ph.D. supervisions, has been reviewer for project proposals submitted to the German Research Foundation and similar institutions in Canada, Czech Republic, France, Israel and The Netherlands, and for ERC Starting Grant proposals and reviewer for several promotion procedures for professorships and reviewer for various journals and conferences. She was vice-chair of the Institute for Computer Science at the Rheinische-Friedrich-Wilhelms-Universitaet Bonn (2001-2002).
Any further pages in alphabetic order of their title as created by you.
#
Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!
