E. Allen Emerson
E81270
E. Allen Emerson is a prominent computer scientist best known for his pioneering work in model checking and temporal logic in formal verification.
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic
→
computer scientist → person → |
| areaOfInfluence |
formal methods in hardware verification
→
formal methods in software verification → |
| awardReceived |
AAAS Fellow
→
ACM A. M. Turing Award → ACM Fellow → ACM Paris Kanellakis Theory and Practice Award → CAV Award → EATCS Award → Kaufman Award in Formal Methods → Paris Kanellakis Theory and Practice Award → Turing Award → member of the American Academy of Arts and Sciences → member of the National Academy of Engineering → |
| citizenship |
United States of America
→
|
| coRecipientOf |
Turing Award with Edmund M. Clarke
→
Turing Award with Joseph Sifakis → |
| doctoralAdvisor |
Ashok Chandra
→
|
| doctoralStudent |
Kedar Namjoshi
→
Orna Kupferman → Rance Cleaveland → |
| educatedAt |
Harvard University
→
University of Texas at Austin → University of Texas at Austin Department of Computer Science → |
| employer |
University of Texas at Austin
→
|
| fieldOfWork |
computer science
→
formal verification → model checking → temporal logic → |
| gender |
male
→
|
| influenced |
development of industrial model checking tools
→
|
| knownFor |
contributions to formal methods
→
pioneering work in model checking → pioneering work in temporal logic for verification → |
| languageOfWorkOrName |
English
→
|
| memberOf |
Association for Computing Machinery
→
IEEE Computer Society → |
| notableConcept |
CTL*
→
branching-time temporal logic → |
| notableWork |
branching-time temporal logic CTL*
→
development of temporal logic model checking → theoretical foundations of model checking → |
| occupation |
researcher
→
university professor → |
| positionHeld |
professor of computer science at the University of Texas at Austin
→
|
| workInstitution |
University of Texas at Austin
→
|
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
coInventedWith |
|
Joseph Sifakis
→
|
coRecipientWith |
|
Herbrand Award
→
|
notableRecipient |