Ernest Allen Emerson
Ernest Allen Emerson (urodzony 2 czerwca 1954 w Dallas, zmarły 15 października 2024) był informatykiem, profesorem na Uniwersytecie Teksańskim w Austin oraz laureatem Nagrody Turinga.
W 1976 roku uzyskał stopień licencjacki w dziedzinie matematyki na Uniwersytecie Teksańskim, a tytuł doktora matematyki stosowanej otrzymał na Uniwersytecie Harvarda w 1981 roku.
W 1998 roku został uhonorowany Nagrodą Parisa Kanellakisa, a w 2007 roku, wspólnie z Edmundem Clarke i Josephem Sifakisem, otrzymał Nagrodę Turinga za opracowanie oraz rozwój metod weryfikacji modelowej.
