Iliano Cervesato

Teaching Professor of Computer Science
Carnegie Mellon UniversityQatar Campus
Announcements
Projects:
  • Usable automated data inference for end-users
  • VirtuallySafe: A Framework for Hypervisor Code and Data Integrity
  • Books:
  • The Deductive Spreadsheet, Springer-Verlag, 2013
  • Courses:
  • 15-199: Discovering Logic
  • 15-317: Constructive Logic
  • Conferences:
  • Co-chair of LINEARITY'14
  • Tuesday, 16-Jul-2013 11:09:57 AST