Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

Elsa Gunter

Profile Photo
Research Professor, Computer Science
Ph.D., Mathematics, University of Wisconsin, 1987

The focus of Prof. Gunter's research has been and continues to be on theorem proving with an automated assistant, and its application to reasoning about protocols, programs, and programming language semantics.  Her work includes the design and formal semantics of programming language features for secure, distributed programming, formal languages for the specification and analysis of human tasks in human-computer systems, and the development of a framework for the construction of verified compilers.

(217) 265-6118
egunteratillinois [dot] edu