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