Kostis Sagonas

Home

Kostis Sagonas

Associate Professor E-mail: kostis@cs.ntua.gr Phone: +30-210-7722487 Fax: +30-210-7722519 Website: http://user.it.uu.se/~kostis/ Office: 1.1.21 Building: Electrical and Comp. Engineering, Floor 1	Postal Address: National Technical University of Athens School of Electrical and Computer Engineering Division of Computer Science Iroon Polytechniou 9 Athens, 15780 Greece
Education
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 Areas
Software, Programming Languages, Software/Program Verification, Logics and Meanings of Programs, Software Engineering
Publications
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sagonas:Konstantinos_F...
Undergraduate Courses during the current Academic Year at E.C.E. School
Introduction to Computer Science, Programming Languages I, Compilers, Programming Languages II
Postgraduate Courses during the current Academic Year at E.C.E. School
Research Topics of Software Development, Research Topics in Programming Language Implementation