E. Allen Emerson

Professor
Office: 
GDC 3.720
Phone: 
(512) 471-9537
Email: 
emerson [at] cs [dot] utexas [dot] edu
Research: 
  • Concurrency
  • Formal Methods
  • Model Checking
  • Program Synthesis
UTCS Research Areas: 
Selected Awards & Honors: 
  • ACM A.M. Turing Award
  • ACM Paris Kanellakis Theory and Practice Award
  • CMU Allen Newell Award for Research Excellence
  • IEEE Logic in Computer Science Test-of-Time Award
Selected Publications: 
  • Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis. Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009)
  • Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta. Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41.
  • E. Allen Emerson, Charanjit S. Jutla. The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29(1): 132-158 (1999) 1998.
  • E. Allen Emerson, A. Prasad Sistla. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-Theoretic Approach. ACM Trans. Program. Lang. Syst. 19(4): 617-638 (1997) 1996. 
  • E. Allen Emerson, Chin-Laung Lei. Efficient Model Checking in Fragments of the Propositional Mu-Calculus.LICS 1986: 267-278.
  • E. Allen Emerson, Edmund M. Clarke.Characterizing Correctness Properties of Parallel Programs Using Fixpoints.ICALP 1980: 169-181
Books: 
  • E. Allen Emerson, Kedar S. Namjoshi (eds.). Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006. Charleston, SC, USA, January 8-10, 2006, Proceedings Springer 2006
  • E. Allen Emerson. Meanings of Model Checking. Concurrency, Compositionality, and Correctness. 237-249 (2010).
  • E. Allen Emerson. The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking, 2006 (2008): 27-45.
  • E. Allen Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. 1990: 995-1072.
Professional Activities: 
  • Editor, ACM Transactions on Computational Logic (2001-2007)
  • Editor, Formal Methods in Systems Design
  • Editor, Formal Aspects of Computing
  • Steering Committee, Verification, Model Checking, Abstract Interpretation (VMCAI) Conference
  • Steering Committee, Automated Technology for Verification and Analysis  (ATVA) Conference