Лоуренс Полсон

редактировать
Американский ученый-компьютерщик

Лоуренс Полсон. FRS
Королевское общество Лоуренса Полсона.jpg Лоуренс Полсон на приеме Королевского общества в Лондоне, июль 2017 г.
РодилсяЛоуренс Чарльз Полсон. 1955 (возраст 64–65)
ГражданствоСША / Великобритания
Alma mater
Известен как
Супруг (ы)
  • Сьюзан Мэри Полсон (ум. 2010)
  • Елена Чугунова
Награды
Научный карьера
Поля
УчрежденияКембриджский университет. Мюнхенский технический университет
Диссертация Компилятор-генератор семантических грамматик (1981)
Докторант Джон Л. Хеннесси
Веб-сайтwww.cl.cam.ac.uk / ~ lp15 /

Лоуренс Чарльз Полсон FRS (род. 1955) американский компьютерный ученый. Он профессор факультета вычислительной логики в компьютерной лаборатории Кембриджского университета и научный сотрудник Клэр-колледжа, Кембридж.

Содержание

  • 1 Образование
  • 2 Исследования
  • 3 Награды и награды
  • 4 Личная жизнь
  • 5 Ссылки

Образование

Полсон окончил Калифорнийский институт наук в 1977 году и получил степень доктора компьютерных наук в Стэнфордском университете в 1981 году за исследования языков программирования и компиляторов-компиляторов под руководством Джон Л. Хеннесси.

Исследования

Полсон пришел в Кембриджский университет в 1983 году и стал научным сотрудником Клэр-колледжа в Кембридже в 1987 году. наиболее известен краеугольным текстом на языке программирования ML, ML для рабочего программиста. Его исследования основаны на интерактивном средстве доказательства теорем Изабель, которое он представил в 1986 году. Он работал над проверкой криптографических протоколов с использованием индуктивных определений, и он также формализовал конструируемую вселенную из Курта Гёделя. Недавно он построил новую программу доказательства теорем, MetiTarski, для вещественнозначных специальных функций.

Полсон читает курс лекций для студентов курса компьютерных наук, озаглавленный «Логика и доказательство», который охватывает автоматическое доказательство теорем и связанные с ним методы. (Раньше он преподавал основы компьютерных наук, которые вводят функциональное программирование, но этот курс переняли Алан Майкрофт и Аманда Пророк в 2017 году, а затем Анил Мадхавапедди и Аманда Пророк в 2019 году..)

Награды и почести

Полсон был избран членом Королевского общества (FRS) в 2017 году, членом Ассоциации вычислительной техники в 2008 году и заслуженный аффилированный профессор логики информатики в Мюнхенском техническом университете.

Личная жизнь

У Полсона двое детей от его первой жены, доктора Сьюзан Мэри Полсон, которая умерла в 2010. С 2012 года он женат на докторе Елене Чугуновой.

Источники

.

Последняя правка сделана 2021-05-26 03:23:05
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте