Kostis Sagonas
Associate Professor Division of Computer Science
- kostis@cs.ntua.gr
- Personal Website
- +30 (210) 7722487
- +30 (210) 7722487
- Office 1.1.21, 1st Floor, Old Electrical and Comp. Engineering
Brief Biography
- Ph.D., Computer Science, University of New York at Stony Brook, U.S.A., 1996
- M.Sc., Computer Science, University of New York at Stony Brook, U.S.A., 1994
- B.Sc., Computer Science and Telecommunications, National and Kapodistrian University of Athens, Greece, 1991
Research Interests
Software • Programming Languages • Software/Program Verification • Logics and Meanings of Programs • Software Engineering
Publications
Publications LinkCourses
- Programming Languages I (Undergraduate - 6th Semester)
- Compilers (Undergraduate - 8th Semester)