Nikolaos S. Papaspyrou
![Photo of Papaspyrou](/media/cache/20/df/20df8db0d6f1042cef871069e4317c1a.jpg)
Member of the special inter-departmental committee
Member of the special inter-departmental committee
Member of the special inter-departmental committee
-
Assistant Professor,
School of Electrical and Computer Engineering, NTUA
Website: | http://www.softlab.ntua.gr/~nickie/ |
---|
seminars given
date | title | |
---|---|---|
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).