This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Persons » 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/

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.

Further information

Reporter

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