Э. Аллен Эмерсон
Э. Аллен Эмерсон Биография и достижения Э. Аллена Эмерсона II Американский ученый-компьютерщик, лауреат премии Тьюринга 2007 года Почетный профессор и […]
Вики
Formal methods people
Вики
Эдмунд М. Кларк
Эдмунд М. Кларк Биография Эдмунда М. Кларка Американский ученый-компьютерщик, известен разработкой model checking. Профессор компьютерных наук FORE Systems в Университете
Вики
Чжоу Чаочэнь
Чжоу Чаочэнь Биография Чжоу Чаочэня Китайский ученый-компьютерщик, родился 1 ноября 1937 года. Образование получил в Пекинском университете и Институте вычислительной
Вики
Эверт Виллем Бет
Эверт Виллем Бет Биография Эверта Виллема Бета Голландский философ и логик, специализировался на математике. Член группы Significs Group, профессор логики
Вики
Моше Варди
Моше Варди Биография Моше Яакова Варди Израильский математик и специалист по информатике, заслуженный профессор Райса и преподавательский советник Института Кена
Вики
Джон Алан Робинсон
Джон Алан Робинсон Вклад в автоматизированное доказательство теорем Создал основы автоматизированного доказательства теорем Разработал алгоритм унификации, устраняющий комбинаторный взрыв в
Вики
Карл Адам Петри
Карл Адам Петри Биография Карла Адама Петри Немецкий математик и специалист в области вычислительной техники. В 13 лет разработал концепцию
Вики
Жаннетт Винг
Джаннет Винг Карьера Жаннет Винг Директор Института науки о данных Колумбийского университета и профессор компьютерных наук. Бывший корпоративный вице-президент Microsoft
Вики
Дэниел Джексон (ученый-компьютерщик)
Дэниел Джексон (специалист по компьютерам) Биография Дэниела Джексона Родился в Лондоне в 1963 году Изучал физику в Оксфорде, получил степень
Вики
Майкл Хинчи
Майкл Хинчи Биография Майкла Хинчи Ирландский ученый-компьютерщик, бывший директор Lero В настоящее время возглавляет кафедру компьютерных наук в Университете Лимерика
Вики
Дэвид Харел
Дэвид Харел Биография и достижения Дэвида Хареля Дэвид Харель — ученый-компьютерщик и президент Израильской академии наук и гуманитарных наук. С
Вики
Роберт Ковальски
Роберт Ковальски Образование и карьера Роберта Ковальски Образование получил в Чикагском, Бриджпортском, Стэнфордском, Варшавском и Эдинбургском университетах. Работал в Эдинбургском
Вики
Yuri Gurevich — Wikipedia
Юрий Гуревич Биография Юрия Гуревича Американский ученый-компьютерщик, родился и получил образование в СССР. Преподавал математику в СССР и Израиле, переехал
Вики
Нэнси Левесон
Нэнси Левесон Профессиональная карьера Нэнси Джи. Левесон Американский специалист в области безопасности систем и программного обеспечения Профессор аэронавтики и астронавтики
Вики
Джим Хорнинг
Джим Хорнинг Биография Джеймса Хорнинга Американский ученый-компьютерщик, работал в ACM. Получил докторскую степень в Стэнфорде в 1969 году. Основал и
Вики
Дэвид Грис
Дэвид Грайс Биография и карьера Дэвида Грайса Американский ученый, известный своими работами в области информатики и программирования. Основатель и руководитель
Вики
Ричард Борнат
Ричард Борнат Профессиональная деятельность Ричарда Борната Британский писатель и исследователь в области компьютерных наук, профессор в Мидлсекском университете Работал в
Вики
Клаус Самельсон
Клаус Самельсон Ранние годы и образование Клаус Самельсон родился в Страсбурге и жил в Бреслау в детстве. Его старший брат
Вики
Майкл Джей Си Гордон
Майкл Джей Си Гордон Биография Майкла Гордона Британский ученый в области компьютерных технологий, родился в 1948 году. Получил образование в