Iliano Cervesato

Professor of Computer Science
Carnegie Mellon UniversityQatar Campus
  • 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, 05-Oct-2010 03:36:20 AST