Dr. Iliano Cervesato

Biography

Iliano Cervesato is a teaching professor in the Computer Science Department at Carnegie Mellon University, specializing in programming languages and computer security. He has held positions at both the Pittsburgh and Qatar campuses of Carnegie Mellon University and has previous experience at Stanford University, Princeton University, and Tulane University. Cervesato has also worked with ITT Industries and the Naval Research Laboratory. He is the founder and chief research scientist at Deductive Solutions in Annandale, Virginia. With over 20 years of teaching experience and 25 years in computational logic, he focuses on the design, analysis, and implementation of programming languages. His research spans computer security, computational logic, and user productivity applications, with notable expertise in cryptographic protocol analysis. Cervesato has published over 100 articles and has served as program chair and general chair for thirteen international scientific conferences. He holds a BS in Computer Science from the University of Udine, an MS in Computer Science from the University of Houston, and a Ph.D. in Computer Science from the University of Torino.

Research Interests