Who's Who in
Sciences Academia

Elsa L Gunter

Academic Title: Research Associate Professor

Name: Elsa L Gunter

 

Department: Department of Computer Science

Department Website: http://www.cs.uiuc.edu/

Institution: University of Illinois, Urbana-Champaign

 

Address: 3270 Digital Computer Lab
1304 W. Springfield Ave
Urbana, Illinois 61801

 

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.