Interested Article - 0 0 ashanti 2020-08-10 1 0 0 ashanti 2020-08-10 1 Tags: Эдмунд Мельсон Кларк младший англ. Edmund Melson Clarke, Jr. Дата рождения 27 июля 1945 ( 1945-07-27 ) Место рождения Ньюпорт-Ньюс , Виргиния , США Дата смерти 22 декабря 2020 ( 2020-12-22 ) (75 лет) Место смерти Питтсбург , Пенсильвания , США Страна США Научная сфера Информатика Место работы Университет Дьюка , Гарвардский университет , Университет Карнеги — Меллон Альма-матер Университет Вирджинии , Университет Дьюка , Корнеллский университет Научный руководитель Ученики Эмерсон, Аллан Известен как Проверка моделей Награды и премии Премия Тьюринга Сайт Патрулирование 1 year ago 0 0 0 Википедия 1 year ago 0 0 0 Свободный контент 1 year ago 0 0 0