mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Nikolaos S. Papaspyrou

Nikolaos S. Papaspyrou

Photo of Papaspyrou

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
  • Assistant Professor, School of Electrical and Computer Engineering, NTUA
Website: http://www.softlab.ntua.gr/~nickie/

courses given

Course Semester
Π03Γ. 2016-2017, fall semester
Π03Γ. 2014-2015, fall semester
Π03Γ. 2013-2014, fall semester
Π03Γ. 2012-2013, fall semester
Π03Γ. 2009-2010, fall semester
Π03Γ. 2008-2009, fall semester
Π03Γ. 2007-2008, fall semester
Π03Γ. 2006-2007, fall semester
Π03Γ. 2005-2006, fall semester
Π03Γ. 2004-2005, fall semester
Π03Γ. 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.

MSc theses supervised

title student defense
Non-Strict Pattern Matching and Delimited Control Petros Barbagiannis 2017-10-31
LiquidHaskell : Liquid Types for Haskell Niki Vazou 2015-04-03
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation Panagiotis Theofilopoulos 2013-12-23
3 MSc theses.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.