Nikolaos Papaspyrou

Professor   Division of Computer Science

  •   nickie@softlab.ntua.gr
  •   Personal Website
  •   +30 (210) 7723393, +30 (210) 7524801
  •   +30 (210) 7723393, +30 (210) 7524801
  •   Office 1.1.21, 1st Floor, Old Electrical and Comp. Engineering

Brief Biography

  • 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

 Publications Link

Courses