Νικόλαος Παπασπύρου
Καθηγητής Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
- 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
Δημοσιεύσεις
Σύνδεσμος ΔημοσιεύσεωνΜαθήματα
- Προγραμματισμός Ηλεκτρονικών Υπολογιστών (Προπτυχιακό - 1o Εξάμηνο)
- Προγραμματιστικές Τεχνικές (Προπτυχιακό - 2o Εξάμηνο)
- Γλώσσες Προγραμματισμού Ι (Προπτυχιακό - 6o Εξάμηνο)
- Τεχνολογία Λογισμικού (Προπτυχιακό - 7o Εξάμηνο)
- Μεταγλωττιστές (Προπτυχιακό - 8o Εξάμηνο)
- Τεχνολογίες Ανάπτυξης Υπηρεσιών Λογισμικού (Προπτυχιακό - 8o Εξάμηνο)
- Γλώσσες Προγραμματισμού ΙΙ (Προπτυχιακό - 9o Εξάμηνο)
- Συστήματα Τύπων των Γλωσσών Προγραμματισμού (Μεταπτυχιακό - Χειμερινό Εξάμηνο)
- Προγραμματιστικά Εργαλεία και Τεχνολογίες για Επιστήμη Δεδομένων (Μεταπτυχιακό - Χειμερινό Εξάμηνο)