Studies
| Oct 2011- | Ph.D., Chair of Programming Methodology, Department of Computer Science, ETH Zurich, Switzerland
|
||||||||||||
| 2009-2011 | Work on concurrency error detection in Erlang
Department of Electrical and Computer Engineering, National Technical University of Athens, Greece
|
||||||||||||
| 2003-2009 | Diploma, Department of Electrical and Computer Engineering, National Technical University of Athens, Greece
|
||||||||||||
| 2000-2003 | American School of Madrid, Spain
|
Awards and Distinctions
| 2013 | Google Anita Borg Scholarship Finalist award |
| 2011 | Grant for attending Summer School Marktoberdorf, Bayrischzell, Germany |
| 2009-2010 | Empirikion scholarship for research |
| 2009 | Thomaideio award for publishing "Static Detection of Race Conditions in Erlang", one of the best 200 research papers among all departments of the National Technical University of Athens, Greece |
| 2009 | Distinction for submitting the best diploma thesis in the Department of Electrical and Computer Engineering of the National Technical University of Athens, Greece |
| 2003 | National Honor Society award, American School of Madrid, Spain |
| 2000-2003 | High Honor Roll award, American School of Madrid, Spain |
| 1998-2000 | Excellence and Progress awards, 3rd High School of Ilioupoli, Athens, Greece |
| 1999 | Basketball championship in the prefecture of Attica on the team of the 3rd High School of Ilioupoli, Athens, Greece |
Summer Schools and Seminars
| Jan 2013 | Symbolic Methods in Testing Dagstuhl Seminar, Saarland, Germany |
| Dec 2012 | Programming Language Seminar, National Technical University of Athens, Greece |
| Jun 2012 | SAT/SMT Summer School, Trento, Italy |
| Aug 2011 | Tools for Analysis and Verification of Software Safety and Security Summer School Marktoberdorf, Bayrischzell, Germany |
| Dec 2010 | Programming Language Seminar, National Technical University of Athens, Greece |
Service
| 2013 | Reviewer for International Journal on Software Tools for Technology Transfer (STTT), Special Section on VerifyThis'12 |
| 2013 | External reviewer for OOPSLA'13 |
| 2012 | Student volunteer for ICSE'12 |
| 2011 | External reviewer for PADL'11 |
| 2010 | External reviewer for DAMP'10 |
Teaching Experience
| Oct 2012 | Head teaching assistant in the compact course "Quality Assurance in .NET with Code Contracts", Department of Computer Science ETH Zurich, Switzerland
|
|||
| 2011-2012 | Teaching assistant in "Computer Science for Mathematicians and Physicists", Department of Computer Science ETH Zurich, Switzerland
|
|||
| Spring 2012 | Head teaching assistant in "Software Architecture and Engineering", Department of Computer Science ETH Zurich, Switzerland
|
|||
| Spring 2012 | Teaching assistant in "Research Topics in Software Engineering", Department of Computer Science ETH Zurich, Switzerland
|
|||
| Fall 2011 | Teaching assistant in "Software and Security Testing", Department of Computer Science ETH Zurich, Switzerland
|
|||
| 2009-2011 | Teaching assistant in "Programming Languages I", Department of Electrical and Computer Engineering, National Technical University of Athens, Greece
|
|||
| 2009-2011 | Teaching assistant in "Computer Programming", Department of Electrical and Computer Engineering, National Technical University of Athens, Greece
|
Work Experience
| Summer 2010 | Developed a new feature for the static analysis tool dialyzer. Requested by Erlang/OTP's paying customers. |
Languages
| Greek | Mother tongue |
| English | TOEFL iBT (Score: 117/120), 2011 Certificate of Proficiency in English (University of Cambridge), 2003 |
| Italian | Diploma di Lingua Italiana (CELI 5), 2011 |
| Spanish | Diploma Superior de Español, 2003 |
| French | Diplôme d'Études en Langue Française (DELF), 2001 |
Other Studies
| Nov 2006 | Attended the Education Center and Career Conference, Peace and Friendship Stadium, Athens, Greece |
| 1998-2000 | Played on the basketball team of the 3rd High School of Ilioupoli, Athens, Greece |
| 1994-1998 | Tennis |
| 1992-1998 | Piano |
| 1994-1997 | Swimming |
Hobbies
Biking, hiking, skiing, reading literature, listening to music...