E. Allen Emerson
Sign in to saveAlso known as Ernest Allen Emerson, Allen Emerson
American computer scientist (1954–2024)
In the Vinony graph
E. Allen Emerson appears in Vinony's Turing Award collection — one of 79 entries.
Within Vinony's link graph, E. Allen Emerson is referenced by 148 other articles, and connects out to University of Texas at Austin, model checking and Texas.
It is catalogued under topics including 1954 births, 2024 deaths and American computer scientists.
Its subject is documented across 26 Wikipedia language editions.
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
Connections
University of Texas at Austin
Entity
model checking
Entity
Texas
Entity
computer science
Entity
Dallas
Entity
Austin
Entity
International Standard Book Number
Entity
Tim Berners-Lee
Entity
Harvard University
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
mathematical logic
Entity
BASIC
Entity
Donald Knuth
Entity
Dennis M. Ritchie
Entity
Fortran
Entity
Edsger W. Dijkstra
Entity
Douglas Engelbart
Entity
Herbert Simon
Entity
Doctor of Philosophy
Entity