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
  • Books:
  • The Deductive Spreadsheet, Springer-Verlag, 2013
  • Courses:
  • 15-150: Principles of Functional Programming
  • 15-199: Discovering Logic
  • 15-349: Introduction to Computer and Network Security
  • Conferences:
  • Co-chair of LINEARITY'14
  • Tuesday, 05-Oct-2010 03:36:20 AST