E. Allen Emerson
| E. Allen Emerson | |||||
|---|---|---|---|---|---|
| |||||
| Persona informo | |||||
| Naskiĝo | 2-an de junio 1954 (70-jaraĝa) en Dallas | ||||
| Ŝtataneco | Usono  vd
| ||||
| Alma mater | Universitato Harvard Universitato de Teksaso en Aŭstino Harvard School of Engineering and Applied Sciences (en)  vd
| ||||
| Profesio | |||||
| Okupo | komputosciencisto inĝeniero universitata instruisto 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]