|
I am working in the Foundations
of Software Engineering group at Microsoft
Research in Redmond, USA. My curent project is
Pex, an intelligent assistant to software developers.
I got my M.Sc. in Computer Science at the Technical
University Berlin in Germany.
For more than five years I have been actively participating in
activities of the Berlin Red
Cross.
My current address is:
|