E. Allen Emerson

Ernest Allen Emerson (n. 2 iunie 1954 la Dallas) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice. A primit Premiul Turing în 2007, împreună cu Edmund Clarke și Joseph Sifakis.

Ernest Allen Emerson
Date personale
Născut2 iunie 1954
Dallas
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic universitar[*]​ Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Texas, Austin
Alma MaterUniversitatea Harvard
Universitatea Texasului din Austin
Harvard School of Engineering and Applied Sciences[*][[Harvard School of Engineering and Applied Sciences (engineering School in Cambridge, Massachusetts)|​]]  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.