Лоуренс Полсон. FRS | |
---|---|
Лоуренс Полсон на приеме Королевского общества в Лондоне, июль 2017 г. | |
Родился | Лоуренс Чарльз Полсон. 1955 (возраст 64–65) |
Гражданство | США / Великобритания |
Alma mater |
|
Известен как | |
Супруг (ы) |
|
Награды |
|
Научный карьера | |
Поля | |
Учреждения | Кембриджский университет. Мюнхенский технический университет |
Диссертация | Компилятор-генератор семантических грамматик (1981) |
Докторант | Джон Л. Хеннесси |
Веб-сайт | www.cl.cam.ac.uk / ~ lp15 / |
Лоуренс Чарльз Полсон FRS (род. 1955) американский компьютерный ученый. Он профессор факультета вычислительной логики в компьютерной лаборатории Кембриджского университета и научный сотрудник Клэр-колледжа, Кембридж.
Полсон окончил Калифорнийский институт наук в 1977 году и получил степень доктора компьютерных наук в Стэнфордском университете в 1981 году за исследования языков программирования и компиляторов-компиляторов под руководством Джон Л. Хеннесси.
Полсон пришел в Кембриджский университет в 1983 году и стал научным сотрудником Клэр-колледжа в Кембридже в 1987 году. наиболее известен краеугольным текстом на языке программирования ML, ML для рабочего программиста. Его исследования основаны на интерактивном средстве доказательства теорем Изабель, которое он представил в 1986 году. Он работал над проверкой криптографических протоколов с использованием индуктивных определений, и он также формализовал конструируемую вселенную из Курта Гёделя. Недавно он построил новую программу доказательства теорем, MetiTarski, для вещественнозначных специальных функций.
Полсон читает курс лекций для студентов курса компьютерных наук, озаглавленный «Логика и доказательство», который охватывает автоматическое доказательство теорем и связанные с ним методы. (Раньше он преподавал основы компьютерных наук, которые вводят функциональное программирование, но этот курс переняли Алан Майкрофт и Аманда Пророк в 2017 году, а затем Анил Мадхавапедди и Аманда Пророк в 2019 году..)
Полсон был избран членом Королевского общества (FRS) в 2017 году, членом Ассоциации вычислительной техники в 2008 году и заслуженный аффилированный профессор логики информатики в Мюнхенском техническом университете.
У Полсона двое детей от его первой жены, доктора Сьюзан Мэри Полсон, которая умерла в 2010. С 2012 года он женат на докторе Елене Чугуновой.
.