Logo
Staff Details

Nikolaos Papaspyrou

ProfessorComputer Science

+30 (210) 7723393, +30 (210) 7524801
Room 1.1.21, 1st Floor, Old Electrical and Comp. Engineering

Nikolaos Papaspyrou

Short CV

  • Ph.D., Electrical and Computer Engineering, National Technical University of Athens, Greece, 1998
  • M.Sc., Computer Science, Cornell University, U.S.A., 1995
  • Diploma, Electrical and Computer Engineering, National Technical University of Athens, Greece, 1993
Research Interests
Programming with proofs • Programming Languages • Logics and Meanings of Programs • Mathematical Logic and Formal Languages • Programming Techniques • Software Engineering
Publications

Courses

TitleSemester
Programming Tools and Technologies for Data SciencePostgraduate - Fall Semester
Computer ProgrammingUndergraduate - 1st Semester
Programming TechniquesUndergraduate - 2nd Semester

/el//en//el/education/undergraduate/info/en/education/undergraduate/info/el/education/undergraduate/courses/en/education/undergraduate/courses/el/education/undergraduate/schedule/en/education/undergraduate/schedule/el/education/undergraduate/quality/en/education/undergraduate/quality/el/education/postgraduate/en/education/postgraduate/el/education/doctoral/info/en/education/doctoral/info/el/education/doctoral/courses/en/education/doctoral/courses/el/education/doctoral/schedule/en/education/doctoral/schedule/el/education/erasmus/en/education/erasmus/el/thesis/search/el/thesis/regulation/el/thesis/contour/el/research/results/en/research/results/el/research/labs/en/research/labs/el/research/iccs/en/research/iccs/el/research/libraries/en/research/libraries/el/staff/academic/faculty/en/staff/academic/faculty/el/staff/academic/emeriti/en/staff/academic/emeriti/el/staff/academic/retired/en/staff/academic/retired/el/staff/laboratory/edip/en/staff/laboratory/edip/el/staff/laboratory/etep/en/staff/laboratory/etep/el/staff/research/iccs/en/staff/research/iccs/el/staff/research/researchAssociate/en/staff/research/researchAssociate/el/staff/research/phd/en/staff/research/phd/el/staff/administrative/permanent/en/staff/administrative/permanent/el/staff/administrative/associates/en/staff/administrative/associates/el/school/history/historicalReview/en/school/history/historicalReview/el/school/history/historyNTUA/en/school/history/historyNTUA/el/school/access/en/school/access/el/school/organization/en/school/organization/el/school/news/en/school/news/el/school/events/en/school/events/el/services/services/en/services/services/el/files/undergraduate/en/files/undergraduate/el/contact/en/contact/el/alumni/register/en/alumni/register/el/announcementsECE Home Page (EL)ECE Home Page (EN)
ContactLoginRegister in the alumni system
Tell us your opinionContributors
Copyright © 2026 - School of Electrical and Computer Engineering, National Technical University of Athens