Veselin Raychev
About me
I 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.You can contact me at veselin.raychev@inf.ethz.ch
Previous projects
- 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: Worked in the team, which developed the tape backups for most of Google. We developed the software for moving huge amounts of data to/from hardware like this (Google Datacenter).
Education
- Nov 2006 - March 2009 : MSc in Artificial Intelligence, Sofia University.
- Sept 2002 - June 2006 : BSc in Informatics, Sofia University.
Awards
- 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.
Publications
Automatic Synthesis of Deterministic Concurrency
Veselin Raychev, Martin Vechev, Eran Yahav
Static Analysis Symposium (SAS) 2013
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
ESA 2010
Language-Independent Sentiment Analysis Using Subjectivity and Positional Information
Veselin Raychev, Preslav Nakov
RANLP 2009