Давид Парнас
Дэвид Парнас Биография и достижения Дэвида Парнаса Канадский первопроходец в области программного обеспечения, разработал концепцию сокрытия информации. Известен приверженностью точному […]
Вики
Formal methods people
Вики
Лесли Лэмпорт
Лесли Лэмпорт Биография Лесли Лэмпорта Американский ученый-компьютерщик и математик, известен работами в области распределенных систем и LaTeX. Лауреат премии Тьюринга
Вики
Рудольф Бергаммер
Рудольф Бергхаммер Рудольф Бергхаммер — немецкий математик, специализирующийся в области компьютерных наук. Он начал изучать математику и информатику в Мюнхенском
Вики
Эдсгер В. Дейкстра
Эдсгер В. Дейкстра Эдсгер Дейкстра — голландский ученый-компьютерщик, известный своими работами в области программирования и алгоритмов. Дейкстра внес значительный вклад
Вики
Гюнтер Шмидт
Гюнтер Шмидт Гюнтер Шмидт — немецкий математик и специалист по информатике. Он является профессором Мюнхенского университета Бундесвера и автором множества
Вики
Моше Варди
Моше Варди Моше Яаков Варди — израильский математик и специалист по информатике. Он является заслуженным профессором Карен Острум Джордж в
Вики
Лоуренс Полсон
Лоуренс Полсон Лоуренс Чарльз Полсон — американский ученый-компьютерщик, профессор вычислительной логики в Кембриджском университете. Он получил образование в Калифорнийском технологическом
Вики
Джон Маккарти (ученый-компьютерщик)
Джон Маккарти (специалист по компьютерам) Джон Маккарти — американский ученый, пионер в области искусственного интеллекта и логики. Он разработал язык