Iliano Cervesato

Professor of Computer Science
Carnegie Mellon University
  • Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
  • Books
  • The Deductive Spreadsheet, Springer-Verlag, 2013
  • Courses
  • 15-122: Principles of Imperative Computation
  • Conferences
  • Co-chair of LINEARITY'16
  • Awards
  • 2016 recipient of the LICS Test-of-Time Award for the paper A Linear Logical Framework
  • Best paper award for RuleML'16 paper Choreographic Compilation of Decentralized Comprehension Patterns
  • Mon 04 Oct 2010