Bio

Qualifications:

Ph.D., Weizmann Institute of Science, 1987

Contact Information:

Department of Computer Science, 851 S. Morgan (M/C 152) Room 1120 SEO Chicago, IL 60607-7053
Office: 1140 SEO
View full profile

Research Interests:

Theorem proving, formal methods, translation validation, formal analysis of security protocols