mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Nikolaos S. Papaspyrou Anonymously browsing from 54.224.49.217 at 15:37:41, 26-09-2017. login

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
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
2 MSc theses.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.