Оглавление
Майкл Джей Си Гордон
-
Биография Майкла Гордона
- Британский ученый в области компьютерных технологий, родился в 1948 году.
- Получил образование в колледже Гонвилл и Кайус и Эдинбургском университете.
- Работал в Национальной физической лаборатории и Стэнфордском университете.
-
Научная карьера
- Защитил докторскую диссертацию по оценке программ на языке LISP.
- Разработал систему HOL для интерактивного доказательства теорем.
- Система HOL имеет широкий спектр применений и используется для верификации промышленного оборудования.
-
Достижения и признание
- Избран членом Королевского общества в 1994 году.
- В честь его 60-летия проведено двухдневное совещание по инструментам проверки системной инфраструктуры.
-
Личная жизнь
- Был женат на Авре Кон и вместе с ней занимался исследованиями.
- Умер в Кембридже в 2017 году, оставив жену и двоих сыновей.
-
Конференции и развитие системы HOL
- Проведены международные конференции TPHOLs, начиная с неофициальных встреч.
- С 1996 года система HOL расширила область применения до всех доказательств в логике высшего порядка.