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
  • Conferences
  • Co-chair of WoF'15
  • Co-chair of LINEARITY'16
  • Tuesday, 05-Oct-2010 03:36:20 AST