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