Nikolaos S. Papaspyrou
Member of the special inter-departmental committee
Member of the special inter-departmental committee
Member of the special inter-departmental committee
Member of the special inter-departmental committee
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/ |
|---|
courses given
| Course | Semester | |
|---|---|---|
| Π03Γ. | Type systems for programming languages | 2016-2017, fall semester |
| Π03Γ. | Type systems for programming languages | 2014-2015, fall semester |
| Π03Γ. | Type systems for programming languages | 2013-2014, fall semester |
| Π03Γ. | Type systems for programming languages | 2012-2013, fall semester |
| Π03Γ. | Type systems for programming languages | 2009-2010, fall semester |
| Π03Γ. | Type systems for programming languages | 2008-2009, fall semester |
| Π03Γ. | Type systems for programming languages | 2007-2008, fall semester |
| Π03Γ. | Type systems for programming languages | 2006-2007, fall semester |
| Π03Γ. | Type systems for programming languages | 2005-2006, fall semester |
| Π03Γ. | Type systems for programming languages | 2004-2005, fall semester |
| Π03Γ. | Type systems for programming languages | 2003-2004, spring semester |
| 11 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2004/06/04 | Programming with proofs: Type systems based on logic ... and other frightening stories .. | |
| 1 seminar. | ||