Σύντομο Βιογραφικό
- Διδακτορικό, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1998
- Μάστερ, Επιστήμης των Υπολογιστών, Cornell University, Η.Π.Α., 1995
- Δίπλωμα, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1993
Ερευνητικά Ενδιαφέροντα
Προγραμματισμός με αποδείξεις • Programming Languages • Logics and Meanings of Programs • Mathematical Logic and Formal Languages • Programming Techniques • Software Engineering
Δημοσιεύσεις
Σύνδεσμος ΔημοσιεύσεωνΜαθήματα
- Προγραμματισμός Ηλεκτρονικών Υπολογιστών (Προπτυχιακό - 1o Εξάμηνο)
- Προγραμματιστικές Τεχνικές (Προπτυχιακό - 2o Εξάμηνο)