Skip to main content
- PhD: Department of Computer Science, University of Victoria, Canada. Dissertation: Higher-Order Functional Languages and Intensional Logic", advisor W. W. Wadge, 1991-1994.
- MSc: Department of Computer Science, University of Victoria, Canada, 1990-1991.
- BSc: Department of Computer Engineering and Informatics, University of Patras, Greece, 1984-1989.
- Department of Informatics and Telecommunications, University of Athens (since 2000). Current position: Professor
- Department of Computer Science, University of Ioannina, Lecturer (1996-00)
- NCSR Demokritos, Research Associate (1995-1996)
- Semantics of Programming Languages
- Logic and Functional Programming
- Formal Languages
- Logic in Computer Science