E. Allen Emerson
Professor
Office:
GDC 3.720
Phone:
(512) 471-9537
Email:
emerson [at] cs [dot] utexas [dot] edu
Homepage:
http://www.cs.utexas.edu/users/emerson/ 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
