E. Allen Emerson

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
E. Allen Emerson
Persona informo
Naskiĝo 2-an de junio 1954 (1954-06-02) (68-jara)
en Dallas
Ŝtataneco Usono [#]
Alma mater Universitato HarvardUniversitato de Teksaso en Aŭstino • Harvard School of Engineering and Applied Sciences [#]
Profesio
Okupo komputikistoinĝeniero • universitata profesoro [#]
Doktoreca konsilisto Edmund M. Clarke [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

Ernest Allen EMERSON (2-an de junio 1954) estas komputika teoriisto pli konata kiel disvolvinto de la metodo konata kiel model checking, por kontroli dezajnojn de programaro aŭ aparataro.

Emerson laboras kiel instruisto en la Universitato de Teksaso en Aŭstino. Kune kun Edmund Clarke kaj Joseph Sifakis, estis la gajnanto en 2007 de la Premio Turing de la Association for Computing Machinery.[1]

Referencoj[redakti | redakti fonton]