Honors & Awards
 
  1. The EATCS (European Association for Theoretical Computer Science) award for best theoretical paper at ETAPS 2010 (among 497 submissions), Cyprus (2010–2010)
 
 
bg