Milen’s Résumé

Work

Education

Thesis

My thesis explored the idea of symbolically executing distributed software as an approach to finding bugs in complex software and was awarded the Microsoft Research Prize.

Academic Achievements