Ernest Allen Emerson

Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA – † 15. október 2024) bol americký informatik. Bol známy najmä vďaka svojmu prínosu pri vývoji metódy overovania modelov (model checking), za ktorý dostal spoločne s Edmundom Clarkeom a Josephom Sifakisom Turingovu cenu (v roku 2007).

 Referencie 

 Iné projekty 

 Externé odkazy 


Kategória:Osobnosti z Dallasu
Kategória:Informatici USA
Kategória:Držitelia Turingovej ceny
Kategória:Vyučujúci na University of Texas at Austin
Kategória:Absolventi University of Texas at Austin
Kategória:Absolventi Harvard University