The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where E. Allen Emerson sits on this spectrum.
This scientist: 132 publications — 19th percentile
19% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where E. Allen Emerson sits on this spectrum.
This scientist: 54 D-Index — 69th percentile
69% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
E. Allen Emerson is affiliated with The University of Texas at Austin in the United States. Their primary area of research lies within Computer Science, with a focus on subfields such as Artificial Intelligence and Computational Theory and Mathematics.
Their work covers several main topics related to computing, including:
The academic output of E. Allen Emerson includes publications predominantly in the areas mentioned above, revealing a consistent concentration on formal methods and verification technologies.
Emerson has received significant recognition from the professional community, including two notable awards. In 2007, they were honored with the A. M. Turing Award for their collaborative role in developing Model-Checking as a verification technology widely adopted in hardware and software industries. Earlier, in 1998, they received the ACM Paris Kanellakis Theory and Practice Award.
Their research demonstrates a clear contribution to the intersection of theoretical computer science and practical verification solutions used in computing security and software reliability.
Edmund M. Clarke;E. Allen Emerson
E. M. Clarke;E. A. Emerson;A. P. Sistla
E. Allen Emerson
E. Allen Emerson;Joseph Y. Halpern
E.Allen Emerson;Edmund M. Clarke
E. Allen Emerson;Chin Laung Lei
E. Allen Emerson;A. Prasad Sistla
E. A. Emerson;Joseph Y. Halpern
E. Allen Emerson;Chin-Laung Lei
Unknown
E. Allen Emerson;Edmund M. Clarke
E. Allen Emerson;Charanjit S. Jutla;A. Prasad Sistla
Edmund M. Clarke;E. Allen Emerson;Joseph Sifakis
Robert S. Streett;E. Allen Emerson
E. Allen Emerson;Charanjit S. Jutla
E. Allen Emerson;Kedar S. Namjoshi
E. Allen Emerson;Vineet Kahlon
E. Allen Emerson;Aloysius K. Mok;A. Prasad Sistla;Jai Srinivasan
Edmund M. Clarke;E. Allen Emerson;Somesh Jha;A. Prasad Sistla
E. Allen Emerson;Joseph Y. Halpern
E. Allen Emerson;Chin-Laung Lei
If you think any of the details on this page are incorrect, let us know.
Exploring alternative or complementary degrees can significantly expand your career options in the technology sector. Online programs make it easier and more affordable than ever to gain new expertise while maintaining your current commitments.
If you’re interested in broadening your scientific knowledge, consider looking into the cheapest online physics degree options available. These programs offer a solid foundation for tech roles that require critical thinking and quantitative skills.
For students who want to enter data-driven industries, affordable data science programs in the USA provide a gateway into fields like analytics and machine learning. Completing a online bachelor’s in electrical engineering can open doors to careers in electronics, automation, and telecommunications.
Additionally, earning easy certifications to get can quickly boost your employability and potentially lead to higher-paying jobs, especially when combined with your computer science background.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 44
Brown University
Intel (United States)
Brown University
King's College London
Vanderbilt University
University of California, Irvine
Stockholm University
University of Louisville
Maastricht University
Medical University of South Carolina
University of Bordeaux
University of California, Los Angeles
University of Pennsylvania
California Institute of Technology
Rensselaer Polytechnic Institute
Macquarie University
