Люди формальных методов

Вики

Джонатан Боуэн

/

Джонатан Боуэн Биография и карьера Джонатана Боуэна Известный американский ученый в области информатики и теории вычислений.  Профессор в Университете штата […]

Вики

Джон К. Рейнольдс

/

Джон К. Рейнольдс Образование и карьера Джона Рейнольдса Получил образование в Университете Пердью и Гарвардском университете  С 1970 по 1986

Вики

Мэтью Хеннесси

/

Мэтью Хеннесси Карьера Мэтью Хеннесси Ассистент профессора в Университете Ватерлоо (1976-77)  Приглашенный профессор в Федеральном университете Пернамбуку (1977-78)  Научный сотрудник

Вики

Род Берстолл

/

Разрыв стержня Биография Рода Берстолла Британский ученый-компьютерщик, член Королевского общества Эдинбурга  Изучал физику в Кембридже, затем получил степень MSc в

Вики

Питер Моссес

/

Питер Мосс Биография Питера Дэвида Мосса Британский ученый-компьютерщик, родился в 1948 году.  Изучал математику в Оксфорде, получил докторскую степень в

Вики

Гордон Плоткин

/

Гордон Плоткин Биография и карьера Гордона Плоткина Гордон Дэвид Плоткин, известный специалист по теоретической информатике, родился 9 сентября 1946 года. 

Вики

Давид Парнас

/

Дэвид Парнас Биография и достижения Дэвида Парнаса Канадский первопроходец в области программного обеспечения, разработал концепцию сокрытия информации.  Известен приверженностью точному

Вики

Эдсгер В. Дейкстра

/

Эдсгер В. Дейкстра Эдсгер Дейкстра – голландский ученый-компьютерщик, известный своими работами в области программирования и алгоритмов.  Дейкстра внес значительный вклад

Прокрутить вверх