Associate Teaching Professor, Computer Science
Office No.
1008
Education
• University of Houston - M.S. - 1992
• University of Torino - Ph.D. - 1996
Past Classes Taught
15-349: Introduction to Computer and Network Security, 15-312: Foundations of Programming Languages, 15-212: Principles of Programming, and 15-199: Discovering Logic
Publications
See web page.
Research Interests
My research interests encompass computational logic, the representation and verification of cryptographic protocols, and educational technology, and With respect to teaching, I am interested in innovative ways to help student learn and especially in the use of web and/or mobile technology.
Use this form to e-mail Iliano Cervesato, Ph.D..
More Information
Need more contact information?
See Iliano Cervesato, Ph.D.'s details here (login required)
Entire Directory (PDF, login required)
