Эрнест Аллен Эмерсон

Эрнест Аллен Эмерсон (2 июня 1954) — американский учёный в области теории вычислительных систем.

Эрнест Аллен Эмерсон

Одно из важных достижений:
В 2007 году был награждён Премией Тьюринга за роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения.