Νικόλαος Παπασπύρου
![Photo of Papaspyrou](/media/cache/20/df/20df8db0d6f1042cef871069e4317c1a.jpg)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Επίκουρος Καθηγητής,
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA
Website: | http://www.softlab.ntua.gr/~nickie/ |
---|
seminars given
ημερομηνία | τίτλος | |
---|---|---|
2004/06/04 | Programming with proofs: Type systems based on logic ... and other frightening stories .. | |
1 seminar. |
MSc theses supervised
Further information
- Teacher profile (for extra information about courses given).