Νικόλαος Παπασπύρου

Καθηγητής   Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών


Σύντομο Βιογραφικό


  • Διδακτορικό, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1998
  • Μάστερ, Επιστήμης των Υπολογιστών, Cornell University, Η.Π.Α., 1995
  • Δίπλωμα, Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο, Ελλάδα, 1993

Ερευνητικά Ενδιαφέροντα

Προγραμματισμός με αποδείξεις • Programming Languages • Logics and Meanings of Programs • Mathematical Logic and Formal Languages • Programming Techniques • Software Engineering

Δημοσιεύσεις

 Σύνδεσμος Δημοσιεύσεων

Μαθήματα