Νικόλαος Παπασπύρου
Καθηγητής Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
- nickie@softlab.ntua.gr
- Προσωπική ιστοσελίδα
- +30 (210) 7723393, +30 (210) 7524801
- +30 (210) 7723393, +30 (210) 7524801
- Γραφείο 1.1.21, 1ος Όροφος, Παλαιό κτ. Ηλεκτρολόγων
Σύντομο Βιογραφικό
- Διδακτορικό, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1998
- Μάστερ, Επιστήμης των Υπολογιστών, Cornell University, Η.Π.Α., 1995
- Δίπλωμα, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1993
Ερευνητικά Ενδιαφέροντα
Προγραμματισμός με αποδείξεις • Programming Languages • Logics and Meanings of Programs • Mathematical Logic and Formal Languages • Programming Techniques • Software Engineering
Δημοσιεύσεις
Σύνδεσμος ΔημοσιεύσεωνΜαθήματα
- Γλώσσες Προγραμματισμού ΙΙ (Προπτυχιακό - 9o Εξάμηνο)
- Συστήματα Τύπων των Γλωσσών Προγραμματισμού (Μεταπτυχιακό - Χειμερινό Εξάμηνο)