E. Allen Emerson

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.

 Referencoj 

Kategorio:Turing-Premiitoj
Kategorio:Usonaj informoteoriistoj