Our Faculty and Staff

Upcoming Events

View All Events

September 6, 2015

Start of 2015 Fall Semester Luncheon

Time: 12:00 pm - 2:00 pm
Where: East Walkway (to be confirmed)
View Details

September 7, 2015

Dean's Lecture Series: Ali Sharif Al Emadi

Time: 12:00 pm - 1:00 pm
Where: Assembly Area
View Details
Iliano Cervesato
Teaching Professor, Computer Science
Office location: 1008
Phone number: 4454-8643
Email address: iliano@qatar.cmu.edu
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


See web page.


• 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)

View Background