Allen Emerson
原名：
Allen Emerson
|
别名：
出生：
(岁)
出生地：
Born：
(1954-06-02)June 2, 1954, Dallas, Texas, U.S.
Died：
October 15, 2024(2024-10-15) (aged 70), Austin, Texas, U.S.
Awards：
Turing Award (2007), , Paris Kanellakis Award (1998)
Fields：
Computer science
Education：
University of Texas, Austin (BS), Harvard University (MS, PhD)
Known for：
Model checking, , Symbolic model checking, , Computation tree logic, , CTL*
Institutions：
University of Texas at Austin
Doctoral advisor：
Edmund M. Clarke
个人简介
暂无 Allen Emerson 的个人简介。
