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