Curriculum Vitae

Awards

Scholar, Google European Anita Borg Scholarship, 2008. [video]
This scholarship aims at promoting women in computer science. Selection criteria include academic performance, and accomplishments in science and technology.
Best Paper Award, Formal Methods in Computer Aided Design, 2007.
At the conference FMCAD '07 my publication on Automatic Abstraction in Symbolic Trajectory Evaluation was honoured with this distinction.
Finalist, Google European Anita Borg Scholarship, 2007.
This scholarship aims at promoting women in computer science. Selection criteria include academic performance, and accomplishments in science and technology.
Research scholarship, Engineering and Physical Sciences Research Council, 2006-2010.
Project: Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces
The EPSRC is the UK Government's leading funding agency for research in engineering and physical sciences. Their grants are highly competitive.
Scholarship, Studienstiftung des Deutschen Volkes (German National Academic Foundation) 2004-2006.
The German National Academic Foundation promote the top one percent of German students on the strength of personality, intellectual capacity, and academic achievements.
Foreign Exchange Scholarship, Allianz Leben, 2005-06.
The principal aim of Allianz Leben is to provide intellectually outstanding young German scholars with a chance to pursue their academic training at foreign universities.