| 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 | ||||
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.