About meI am a PhD student in the Software Reliability Lab in ETH Zurich. Originally, I am from Sofia, Bulgaria. My research interests include Program Analysis, Algorithms and Machine Learning.
- Nov 2006 - March 2012 : Senior Software Engineer, Google.
- 2008-2012: Transit Directions: We created a scalable computation for finding routes in graphs with hundreds of millions of nodes. I designed and developed many of the transfer patterns computation algorithms, query processing algorithms, the distributed system and the production system (designed for 0 downtime).
- 2008: Google Translate: Tuned the first machine translation system between Bulgarian and English.
- 2006-2008: We developed the software for moving huge amounts of data to/from hardware like this (Google Datacenter) and backed up most of Google's data.
- Nov 2006 - March 2009 : MSc in Artificial Intelligence, Sofia University.
- Sept 2002 - June 2006 : BSc in Informatics, Sofia University.
Automatic Synthesis of Deterministic Concurrency
Veselin Raychev, Martin Vechev, Eran Yahav
Static Analysis Symposium (SAS) 2013
, slides: Google Docs,
Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns.
Hannah Bast, Erik Carlsson, Arno Eigenwillig, Robert Geisberger, Chris Harrelson, Veselin Raychev, Fabien Viger
- OOPSLA Outstanding artifact award for our paper: Effective Race Detection for Event-Driven Programs.
- SIGPLAN travel grant for OOPSLA 2013.
- Google OC award for the work on Google Translate.
- 19th place in the ACM International Collegiate Programming Contest - World Finals, San Antonio, TX, 2006.
- 29th place in the ACM International Collegiate Programming Contest - World Finals, Shanghai China, 2005.
- Bronze medal in the International Olympiad in Informatics, Yong-in, Korea, 2002.
- Silver medal in the Balkan Olympiad in Informatics, Belgrade, Yugoslavia, 2002.
- 1st place in the National Olympiad in Informatics, Sofia, Bulgaria, 2002.