Formal methods people

Вики

Нэнси Левесон

/

Нэнси Левесон Биография и образование Нэнси Джи. Левесон — американский специалист в области безопасности систем и программного обеспечения.   Получила ученые […]

Вики

Марта Квятковска

/

Марта Квятковска Биография и образование Марта Зофья Квятковска родилась в 1957 году в Польше.   Получила степени бакалавра и магистра в

Вики

Дональд Ангус Маккензи

/

Дональд Ангус Маккензи Биография и образование Дональд Ангус Маккензи родился 3 мая 1950 года в Шотландии.   В 1978 году получил

Вики

Адриан ван Вейнгаарден

/

Адриан ван Вейнгаарден Биография и образование Адриан ван Вейнгаарден родился 2 ноября 1916 года в Нидерландах.   Получил степень инженера-механика в

Вики

Эрик Хенер

/

Эрик Хенер Биография и образование Эрик “Рик” Си. R. Хенер родился 16 сентября 1947 года в Оттаве, Канада.   Изучал математику

Вики

Э. Аллен Эмерсон

/

Э. Аллен Эмерсон Биография и достижения Э. Аллена Эмерсона II Американский ученый-компьютерщик, лауреат премии Тьюринга 2007 года  Почетный профессор и

Вики

Эдмунд М. Кларк

/

Эдмунд М. Кларк Биография Эдмунда М. Кларка Американский ученый-компьютерщик, известен разработкой model checking.  Профессор компьютерных наук FORE Systems в Университете

Вики

Чжоу Чаочэнь

/

Чжоу Чаочэнь Биография Чжоу Чаочэня Китайский ученый-компьютерщик, родился 1 ноября 1937 года.  Образование получил в Пекинском университете и Институте вычислительной

Вики

Хэ Цзифэн

/

Хэ Цзифэн Биография Хэ Цзифэна Китайский ученый-компьютерщик, родился в 1943 году.  Окончил математический факультет Фуданьского университета в 1965 году.  Преподавал

Вики

Жерар Юэ

/

Жерар Юэ Биография Жерара Юэ Французский ученый-компьютерщик, лингвист и математик  Старший директор по исследованиям в INRIA, известен вкладом в теорию

Вики

Эверт Виллем Бет

/

Эверт Виллем Бет Биография Эверта Виллема Бета Голландский философ и логик, специализировался на математике.  Член группы Significs Group, профессор логики

Вики

Моше Варди

/

Моше Варди Биография Моше Яакова Варди Израильский математик и специалист по информатике, заслуженный профессор Райса и преподавательский советник Института Кена

Вики

Джон Алан Робинсон

/

Джон Алан Робинсон Вклад в автоматизированное доказательство теорем Создал основы автоматизированного доказательства теорем  Разработал алгоритм унификации, устраняющий комбинаторный взрыв в

Вики

Карл Адам Петри

/

Карл Адам Петри Биография Карла Адама Петри Немецкий математик и специалист в области вычислительной техники.  В 13 лет разработал концепцию

Вики

Жаннетт Винг

/

Джаннет Винг Карьера Жаннет Винг Директор Института науки о данных Колумбийского университета и профессор компьютерных наук.  Бывший корпоративный вице-президент Microsoft

Вики

Майкл Хинчи

/

Майкл Хинчи Биография Майкла Хинчи Ирландский ученый-компьютерщик, бывший директор Lero  В настоящее время возглавляет кафедру компьютерных наук в Университете Лимерика 

Вики

Дэвид Харел

/

Дэвид Харел Биография и достижения Дэвида Хареля Дэвид Харель – ученый-компьютерщик и президент Израильской академии наук и гуманитарных наук.  С

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