Nikolaos S. Papaspyrou

Associate 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.

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

Courses

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

Books

Students

Former PhD students

Former diploma students and collaborators

This list is non-exhaustive (and, most probably, it will remain so).
Until June 2015, I have supervised 40 diploma projects.

Activities

Conferences

  • ACM SAC 2016, PL track, April 4-8, 2016, Pisa, Italy; PC member.
  • PCI 2015, October 1-3, 2015, Athens, Greece; PC member.
  • SCLIT 2015, September 23-29, 2015, Rhodes, Greece; PC member.
  • WAPL 2015, September 13-16, 2015, Lodz, Poland; PC member.
  • BCI 2015, September 2-4, 2015, Craiova, Romania; PC member.
  • PLS10, June 11-15, 2015, Samos, Greece; PC member, OC member.
  • ACM SAC 2015, PL track, April 13-17, 2015, Salamanca, Spain; PC 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
  • Balkan Olympiad in Informatics:
    • Bulgaria, 2009
    • Montenegro, 2010
  • Junior Balkan Olympiad in Informatics:
    • Bulgaria, 2009
    • Bulgaria, 2013

Contact information

E-mail:
URL: http://www.softlab.ntua.gr/~nickie/
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.
+30-210-7524801.