Faculty and Staff
Iliano Cervesato
Associate Teaching Professor, Computer Science
Office location:
1008
Phone number:
4454-8643
Email address:
iliano@qatar.cmu.edu
Web page:
http://www.qatar.cmu.edu/iliano/
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.
Education:
• University of Houston - M.S. - 1992
• University of Torino - Ph.D. - 1996
Education pending:
Computational logic, Theory of programming languages, and Computer security
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.
full details (requires authentication)