E. Allen Emerson
Sign in to saveAlso known as Ernest Allen Emerson, Allen Emerson
American computer scientist (1954–2024)
Person · Open Library
- Works
- 2
Top works
- Computer aided verification
- Computer Aided Verification
via Open Library + Wikidata
Wikidata facts
- Instance of
- human
- Given name
- Ernest
- Gender
- male
- Citizenship
- United States
- Place of birth
- Dallas
- Place of death
- Austin
- Occupation
- university teacher
- Employer
- University of Texas at Austin
- Languages spoken
- English language
- Doctoral advisor
- Edmund M. Clarke
- Official website
- www.cs.utexas.edu/~emerson
- Image
- E-allen-emerson (3x4 cropped).jpg
Show 7 more facts
- date of birth
- 1954-06-02
- Erdős number
- 4
- interested in
- applied mathematics
- maintained by WikiProject
- WikiProject Mathematics
- date of death
- 2024-10-15
- name in native language
- Ernest Allen Emerson
- Commons category
- E. Allen Emerson
via Wikidata · CC0