I am originally from Sofia, Bulgaria
where I was born and grew up. Currently, I am a tenure-track Assistant Professor of Computer Science at ETH Zurich
(since 2012) where I lead the Software Reliability Lab
. Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center
in New York (2007 - 2011). I obtained my PhD from Cambridge University
, England (2003-2008) and my B.Sc. from Simon Fraser University (SFU)
, Canada (1996-2001). Before Canada, I studied at the Sofia Math High School (SMG)
in Sofia, Bulgaria.
I am interested in all aspects of software reliability, including program analysis, program synthesis, statistical reasoning and concurrency.
You can find more details in my CV: