Эдмунд Мельсон Кларк

Эдмунд Мельсон Кларк младший (27 июля 1945 года) —
американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.

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

Похожая информация:

Добавить комментарий