Elsa Gunter
Academic Title:
Research Associate Professor
Name:
Elsa Gunter
Department:
Department of Computer Science
Department Website:
Institution:
University of Illinois, Urbana-Champaign
Address:
3270 Digital Computer Laboratory 1304 West Springfield Avenue
Highest Degree:
Date of Degree:
Degree Institution:
E-mail:
Contact by e-mail?
Expertise:
Software engineering; formal methods; design and use of automated and interactive theorem provers; mathematical semantics of programming languages; proof theory and type theory; order theory.
Start A New Search
If you are a faculty member and are not presently included in our Who's Who in Academia,
you may submit a request to be added.
If you are currently included in our database and have previously established an account, you
can update any of the information shown in your record.
