Νικόλαος Παπασπύρου
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Επίκουρος Καθηγητής,
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, 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).