Allen Emerson
 | |
| Państwo działania | |
|---|---|
| Data i miejsce urodzenia | |
| doktor nauk matematycznych | |
| Specjalność: matematyka stosowana | |
| Alma Mater | |
| Doktorat | 1981 – matematyka stosowana |
| nauczyciel akademicki | |
| Uczelnia | |
Ernest Allen Emerson (ur. 2 czerwca 1954 w Dallas) – informatyk, profesor Uniwersytetu Teksańskiego w Austin, laureat Nagrody Turinga.
W 1976 otrzymał stopień licencjacki w matematyce na Uniwersytecie Teksańskim, a tytuł doktora matematyki stosowanej uzyskał na Uniwersytecie Harvarda w 1981 roku[1].
Za swoją działalność został uhonorowany Nagrodą Parisa Kanellakisa w 1998[1][2], a w 2007 (wraz z Edmundem Clarke i Josephem Sifakisem) Nagrodę Turinga za wynalezienie i rozwój metod weryfikacji modelowej[3].
Zobacz też
Przypisy
- ↑ a b E. Allen Emerson, www.cs.utexas.edu [dostęp 2019-05-07] (ang.).
- ↑ E. Allen Emerson, awards.acm.org [dostęp 2019-05-07] (ang.).
- ↑ E. Allen Emerson – A.M. Turing Award Laureate, amturing.acm.org [dostęp 2019-05-07] (ang.).
Media użyte na tej stronie
Flag of the United States.svg
The flag of Navassa Island is simply the United States flag. It does not have a "local" flag or "unofficial" flag; it is an uninhabited island. The version with a profile view was based on Flags of the World and as a fictional design has no status warranting a place on any Wiki. It was made up by a random person with no connection to the island, it has never flown on the island, and it has never received any sort of recognition or validation by any authority. The person quoted on that page has no authority to bestow a flag, "unofficial" or otherwise, on the island.
The flag of Navassa Island is simply the United States flag. It does not have a "local" flag or "unofficial" flag; it is an uninhabited island. The version with a profile view was based on Flags of the World and as a fictional design has no status warranting a place on any Wiki. It was made up by a random person with no connection to the island, it has never flown on the island, and it has never received any sort of recognition or validation by any authority. The person quoted on that page has no authority to bestow a flag, "unofficial" or otherwise, on the island.
E-allen-emerson.jpg
Autor: Copyright E. Allen Emerson (the subject), Licencja: CC BY-SA 4.0
E. Allen Emerson, computer scientist and emeritus professor at the University of Texas at Austin. Photo provided by the subject, personal communication to me (Caleb Stanford), and released by him under Creative Commons Attribution-ShareAlike 4.0 International directly via email to permissions-commons@wikimedia.org on August 30, 2022.
Autor: Copyright E. Allen Emerson (the subject), Licencja: CC BY-SA 4.0
E. Allen Emerson, computer scientist and emeritus professor at the University of Texas at Austin. Photo provided by the subject, personal communication to me (Caleb Stanford), and released by him under Creative Commons Attribution-ShareAlike 4.0 International directly via email to permissions-commons@wikimedia.org on August 30, 2022.