Iliano Cervesato

Iliano Cervesato is a teaching professor of computer science at Carnegie Mellon University, where he teaches and conducts research on the principles of programming languages and security. He has held appointments at both the Pittsburgh and Qatar campuses of Carnegie Mellon University, Stanford University, Princeton University, and Tulane University. He also has worked for ITT Industries at the Naval Research Laboratory. His current research interests encompass computer security, computational logic, programming languages, and user productivity applications. Cervesato holds a BS in computer science from the University of Udine in Italy; an MS in computer science from the University of Houston in Houston, Texas; and a Ph.D. in computer science from the University of Torino in Italy for work done at CMU Pittsburgh. He has been teaching for about 20 years and has over 25 years of experience in computational logic and in various aspects of the design, analysis, and implementation of programming languages.

Iliano Cervesato is a Professor of Computer Science at Carnegie Mellon University, specializing in computational logic, programming languages, and computer security. His research focuses on formal methods for analyzing security protocols, with an emphasis on logical frameworks for modeling and verifying cryptographic systems. Cervesato's work includes the development of linear and concurrent logical frameworks to address challenges in protocol analysis, such as authentication, key distribution, and the detection of attacks like the Dolev-Yao intruder. His publications explore the formal verification of protocols such as Kerberos and the use of hardware performance counters for rootkit detection.