Who's Who in
Sciences Academia

    Elsa L Gunter

  • Research Associate Professor
  • Elsa L Gunter
  •  
  • Department of Computer Science
  • http://www.cs.uiuc.edu/
  • University of Illinois, Urbana-Champaign
  •  
  • 3270 Digital Computer Lab
    1304 W. Springfield Ave
    Urbana, Illinois 61801
  •  
  •  
  • Contact by e-mail?
  •  
  • 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.