Allen Emerson
原名：
Allen Emerson
出生日期：
1925-03-04(82岁)
逝世日期：
2007-08-23
出生地：
Brooklyn, New York, USA
国家/地区：
美国
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 的个人简介。
