E. Allen Emerson
usona komputikisto
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.
| E. Allen Emerson | |||||
|---|---|---|---|---|---|
| |||||
| Persona informo | |||||
| Naskiĝo | 2-an de junio 1954 (69-jaraĝa) en Dallas | ||||
| Ŝtataneco | Usono vd | ||||
| Alma mater | Universitato Harvard • Universitato de Teksaso en Aŭstino • Harvard School of Engineering and Applied Sciences vd | ||||
| Profesio | |||||
| Okupo | komputosciencisto • inĝeniero • universitata instruisto vd | ||||
| Doktoreca konsilisto | Edmund M. Clarke vd | ||||
| |||||
| En TTT | Oficiala retejo vd | ||||
| vd | Fonto: Vikidatumoj | ||||
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]