معرفی
Iliano Cervesato is a Teaching Professor in the Computer Science Department at Carnegie Mellon University, specializing in principles of programming languages and computer security. With over 20 years of teaching experience and 25+ years in computational logic, his expertise spans programming language design, analysis, and implementation, alongside foundational security research.
- BS, Computer Science - University of Udine, Italy
- MS, Computer Science - University of Houston, Texas
- PhD, Computer Science - University of Torino, Italy (dissertation work at CMU Pittsburgh)
His research focuses on computational logic, security (notably cryptographic protocol analysis), and user productivity applications. He has held appointments at CMU's Pittsburgh and Qatar campuses, Stanford, Princeton, Tulane, and worked at ITT Industries' Naval Research Laboratory.
Cervesato founded Deductive Solutions in Annandale, Virginia, and has served as program/general chair for thirteen international conferences. His teaching emphasizes fundamental data structures and correct code development in courses like Principles of Imperative Computation (15-122).
