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