Kostis Sagonas

Associate Professor   Division of Computer Science


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 Link