E
Elsa Gunter
Research Professor and Senior Lecturer
GradNova doesn't forward messages to faculty. To contact Elsa Gunter, use the University of Illinois Urbana-Champaign website.
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Model-Driven Software Engineering Techniques
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →