Эдмунд М. Кларк
Эдмунд М. Кларк Биография Эдмунда М. Кларка Американский ученый-компьютерщик, известен разработкой model checking. Профессор компьютерных наук FORE Systems в Университете […]
Вики
1998 г. Члены Ассоциации вычислительной техники.
Вики
Джин Спаффорд
Джин Спаффорд Биография и карьера Юджина Говарда Спаффорда Американский профессор компьютерных наук и эксперт по безопасности Основатель и первый директор
Вики
Джим Хорнинг
Джим Хорнинг Биография Джеймса Хорнинга Американский ученый-компьютерщик, работал в ACM. Получил докторскую степень в Стэнфорде в 1969 году. Основал и