About
Elsa Gunter is a Research Professor at the Department of Computer Science, University of Illinois at Urbana-Champaign. Her work bridges formal methods, programming languages, and human-computer interaction with a focus on verification and security.
- Education:
- Ph.D. in Mathematics, University of Wisconsin-Madison (1987)
- M.A. in Mathematics, University of Wisconsin-Madison (1981)
- B.A. in Mathematics, University of Chicago (1979)
Her research interests include formal verification, type theory, and secure system design. She has developed tools like VeriF-OPT for parallel program optimization and Tutela for modeling human-computer protection envelopes. Her recent publications focus on concurrent systems, compiler verification, and security protocols.
Notable awards include the Most Influential 10-Year Paper Award at RE 2010 and the EASST Best Paper at ETAPS 2001. She has advised students like Dennis Griffith and Liyi Li, while collaborating on projects such as DSILL (distributed functional language) and PTRANS (program transformation semantics).
