- September 2009, Outstanding Technology Development Award for
Java PathFinder (JPF), Federal Laboratory Consortium Far West Region Awards.
- March 2004, RIACS / USRA performance award
- My research work was presented in the January 2004 issue of the IEEE Computer magazine as part of the article "NASA's mission reliable"
- June 2003, RIACS / USRA performance award
- ACM distinguished paper award for paper titled "Assumption Generation for Software Component Verification", voted best paper of IEEE ASE 2002 conference
- PhD thesis nominated for British Distinguished Dissertation award
- MSc was awarded a distinction by the Dept. of Computing, Imperial College
- PhD grant (4 years, 1994-98) by I.S. Latsis Foundation, Greece
- MSc grant (1 year, 1993-94) by Bodossakis Foundation, Greece
- Scholarship for undergraduate studies (5 years, 1987-92) by I.S. Latsis Foundation, Greece
- Jan 87: Distinction and Jan 85: 1st prize, National Competitions, Greek Mathematical Society