Iliano Cervesato

Professor of Computer Science
Carnegie Mellon UniversityQatar Campus
Announcements
Projects:
  • Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
  • The Garbled Computer: Towards Computing Without Seeing
  • Books:
  • The Deductive Spreadsheet, Springer-Verlag, 2013
  • Courses:
  • 15-312: Foundations of Programming Languages
  • Conferences:
  • Co-chair of LFMTP'15
  • Tuesday, 16-Jul-2013 11:09:57 AST