Амир Пнуэли
Амир Пнуэли Биография Амира Пнуэли Израильский ученый-компьютерщик, лауреат премии Тьюринга 1996 года Родился в Палестине, получил образование в Технионе и […]
Вики
занимающиеся формальными методами
Вики
Дана Скотт
Дана Скотт Биография Даны Скотт Дана Скотт – американский математик, известный своими работами в области денотационной семантики и теории информационных
Вики
Лесли Лэмпорт
Лесли Лэмпорт Биография Лесли Лэмпорта Американский ученый-компьютерщик и математик, известен работами в области распределенных систем и LaTeX. Лауреат премии Тьюринга
Вики
Рудольф Бергаммер
Рудольф Бергхаммер Рудольф Бергхаммер – немецкий математик, специализирующийся в области компьютерных наук. Он начал изучать математику и информатику в Мюнхенском