Faculty and Staff
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
Computational logic, Theory of programming languages, and Computer security
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.