E. Allen Emerson
| E. Allen Emerson | |||||
|---|---|---|---|---|---|
.jpg)
| |||||
| Persona informo | |||||
| Ernest Allen Emerson | |||||
| Naskiĝo | 2-an de junio 1954 en Dallas | ||||
| Morto | 15-an de oktobro 2024 (70-jaraĝa) en Aŭstino | ||||
| Lingvoj | angla vd | ||||
| Ŝtataneco | Usono  vd
| ||||
| Alma mater | Universitato de Teksaso en Aŭstino - matematiko (–1976) Harvard School of Engineering and Applied Sciences (en)  - aplika matematiko (–1981) vd
| ||||
| Profesio | |||||
| Okupo | komputosciencisto inĝeniero universitata instruisto vd
| ||||
| Laborkampo | Komputiko, komputado kaj computer modeling (en) vd
| ||||
| Doktoreca konsilisto | Edmund M. Clarke vd | ||||
| |||||
| En TTT | Oficiala retejo vd | ||||
| vd | Fonto: Vikidatumoj | ||||
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]