Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Американдық компьютерлік ғалым. ACM Fellow (2008) (1955 жылы туған) – американдық компьютерлік ғалым. Кембридж университетінің компьютерлік зертханасында есептеу логикасының профессоры және Кембридж қаласындағы Клэр колледжінің мүшесі.
ACM Fellow (2008) (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.
Білім
Полсон 1977 жылы Калифорния технология институтын бітірді, ал 1981 жылы Стэнфорд университетінен компьютер ғылымдары бойынша философия докторы (PhD) дәрежесін Джон Л. Хеннессидің ғылыми жетекшілігімен бағдарламалау тілдері және компиляторларды құрастыру бойынша зерттеулері үшін алды.
Paulson graduated from the California Institute of Technology in 1977, and obtained his PhD in Computer Science from Stanford University in 1981 for research on programming languages and compiler compilers supervised by John L. Hennessy.
Зерттеу
Полсон 1983 жылы Кембридж университетіне келіп, 1987 жылы Кембридждегі Клэр колледжінің мүшесі атанды. Ол ML бағдарламалау тілі бойынша негізгі оқулық – «ML for the Working Programmer» еңбегімен танымал. Оның зерттеулері 1986 жылы таныстырған интерактивті теореманы дәлелдеу құралы Изабеллге негізделген. Ол индуктивті анықтамаларды қолданып криптографиялық протоколдарды тексеру жөнінде жұмыс істеді, сондай-ақ Курт Гёдельдің құрастырылатын әлемін формалдады. Жақында ол MetiTarski деген жаңа теореманы дәлелдеу құралын жасады.
Paulson came to the University of Cambridge in 1983 and became a Fellow of Clare College, Cambridge in 1987. He is best known for the cornerstone text on the programming language ML, ML for the Working Programmer. His research is based around the interactive theorem prover Isabelle, which he introduced in 1986. He has worked on the verification of cryptographic protocols using inductive definitions, and he has also formalised the constructible universe of Kurt Gödel. Recently he has built a new theorem prover, MetiTarski,
Полсон Компьютер ғылымдарының бакалавриат курсында «Логика және дәлелдеу» тақырыбында лекция оқиды, онда автоматтандырылған теореманы дәлелдеу және оған қатысты әдістер қарастырылады. (Бұрын ол функционалдық бағдарламалауды таныстыратын «Компьютер ғылымдарының негіздері» курсын оқыған, бірақ 2017 жылы бұл курс Алан Майкрофт пен Аманда Пророкқа, ал 2019 жылы Анил Мадхавапедди мен Аманда Пророкқа берілді.)
Paulson teaches an undergraduate lecture course in the Computer Science Tripos, entitled Logic and Proof which covers automated theorem proving and related methods. (He used to teach Foundations of Computer Science which introduces functional programming, but this course was taken over by Alan Mycroft and Amanda Prorok in 2017, and then Anil Madhavapeddy and Amanda Prorok in 2019.)
Марапаттар мен құрметтер
Полсон 2017 жылы Корольдік қоғамның (FRS) мүшесі болып сайланды және Мюнхен техникалық университетінде информатика логикасы бойынша ерекшеленген профессор атанды.
Paulson was elected a Fellow of the Royal Society (FRS) in 2017, and a Distinguished Affiliated Professor for Logic in Informatics at the Technical University of Munich.
Жеке өмір
Полсонның бірінші әйелі, 2010 жылы қайтыс болған доктор Сьюзан Мэри Полсоннан екі баласы бар. 2012 жылдан бері ол доктор Елена Чугуноваға үйленген.
Paulson has two children by his first wife, Dr Susan Mary Paulson, who died in 2010. Since 2012, he has been married to Dr Elena Tchougounova.