Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Νικόλαος Παπασπύρου

Νικόλαος Παπασπύρου

Photo of Papaspyrou

Νικόλαος Παπασπύρου

Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
  • Επίκουρος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA

courses given

Course Semester
Π03Γ. 2016-2017, χειμερινό εξάμηνο
Π03Γ. 2014-2015, χειμερινό εξάμηνο
Π03Γ. 2013-2014, χειμερινό εξάμηνο
Π03Γ. 2012-2013, χειμερινό εξάμηνο
Π03Γ. 2009-2010, χειμερινό εξάμηνο
Π03Γ. 2008-2009, χειμερινό εξάμηνο
Π03Γ. 2007-2008, χειμερινό εξάμηνο
Π03Γ. 2006-2007, χειμερινό εξάμηνο
Π03Γ. 2005-2006, χειμερινό εξάμηνο
Π03Γ. 2004-2005, χειμερινό εξάμηνο
Π03Γ. 2003-2004, εαρινό εξάμηνο
11 courses.

seminars given

ημερομηνία τίτλος
2004/06/04 Programming with proofs: Type systems based on logic ... and other frightening stories ..
1 seminar.

MSc theses supervised

τίτλος student defense
Non-Strict Pattern Matching and Delimited Control Πέτρος Μπαρμπαγιάννης 2017-10-31
LiquidHaskell : Liquid Types for Haskell Νίκη Βάζου 2015-04-03
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation Παναγιώτης Θεοφιλόπουλος 2013-12-23
3 MSc theses.


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