Nikolaos S. Papaspyrou

Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens and a member of the Software Engineering Laboratory. I am interested in the theory and implementation of programming languages: semantics, type systems, compilers, static analysis, formal verification.

Since December 2017, I serve as the Director of the Division of Computer Science.
From December 2015 to September 2016, I was on sabbatical, working with Google's compiler group in Munich on things related to the V8 JavaScript engine.

My curriculum vitae, including a full list of my publications. Also, in Greek.

Current and recent research projects

RELEASE: A high-level paradigm for reliable large-scale server software. An EU FP7 STREP project that aims to scale the radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines, using Erlang/OTP.

Handling uncertainty in data intensive applications on a distributed computing environment. A project funded by the European Social Fund and Greek national funds through the Operational Program "Education and Lifelong Learning" of the National Strategic Reference Framework (NSRF). It aims to introduce a new model of uncertain databases and define query answering mechanisms, suitable in this uncertain framework; to develop new algorithmic techniques and programming language infrastructure; and to exploit the efficient implementation of the proposed techniques by exploiting and extending existing technology and systems, such as Hadoop. See also the project's web page.

Recent and selected publications


In the past, I have also taught the following courses:



Former PhD students

Former diploma students and collaborators

This list is non-exhaustive (and, most probably, it will remain so).
Until Februart 2018, I have supervised more than 50 diploma projects.



  • OSS 2018, June 8-10, 2018, Athens, Greece; PC member.
  • ACM SAC 2018, PL track, April 9-13, 2018, Pau, France; PC member.
  • PCI 2017, Sepember 28-30, 2017, Larisa, Greece; PC member.
  • SCLIT 2017, September 25-30, 2017, Thessaloniki, Greece; PC member.
  • BCI 2017, September 21-23, 2017, Skopje, FYROM; PC member.
  • WAPL 2017, September 3-6, 2017, Prague, Czech Republic; PC member.
  • PLS11, July 12-16, 2017, Delphi, Greece; PC member, OC member.

Programming contests

Since 2006, I volunteer as a coach, problem setter and evaluator of students who participate in the Greek National Contest of Informatics. I am currently responsible for hosting the automated tutoring and grading system, Hellenico, in our laboratory. Every year since 2006, I have organized the preparation camp (site in Greek), for the contest's finalists, out of which the national teams are selected. I have also served as leader and deputy leader in many delegations of our national teams to the:

  • International Olympiad in Informatics:
    • Croatia, 2007
    • Egypt, 2008
    • Bulgaria, 2009
    • Canada, 2010
    • Thailand, 2011
    • Italy, 2012
    • Taiwan, 2014
    • Kazakhstan, 2015
    • Iran, 2017
    • Japan, 2018
  • Balkan Olympiad in Informatics:
    • Bulgaria, 2009
    • Montenegro, 2010
    • Romania, 2018
  • Junior Balkan Olympiad in Informatics:
    • Bulgaria, 2009
    • Bulgaria, 2013
    • Romania, 2018

Contact information

Address: National Technical University of Athens
School of Electrical and Computer Engineering
Division of Computer Science,
Software Engineering Laboratory
Polytechnioupoli, 15780 Zografou, Athens, GREECE.
Office: School of Electrical and Computer Engineering, old building
1.1.21 (office), 1.1.25 (laboratory), see NTUA map.
+30-210-7723393, +30-210-772509 (fax).
Home: Archimidous 7, Pangrati, 11635 Athens, GREECE.