Введение
Логик и ученый-компьютерщик Майкл Пол Фурман (род. 12 сентября 1950 года) - профессор компьютерных систем в Эдинбургском университете в Шотландии, Великобритания, и был руководителем школы информатики с 2001 по 2009 год. Форман работает в области применения логики в информатике, искусственном интеллекте и когнитивной науке, в частности, в формальных моделях цифровых систем, инструментах системного проектирования, помощниках доказательств, категорической семантике и предложении планирования.
Michael Paul Fourman FBCS FRSE (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009. Fourman is worked in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.
Квалификация
В 1971 году получил степень бакалавра математики и философии в Бристольском университете, затем в 1972 году - степень магистра математической логики в Оксфордском университете. Он написал свою диссертацию о связи между теорией категорий и логикой под руководством Даны Скотт в Оксфорде, защитив свою диссертацию в 1974 году.
Карьера
Он продолжал работать с Скотом в качестве постдокторанта SRC и младшего научного сотрудника в колледже Вольфсона в Оксфорде до 1976 года, когда он переехал в США, сначала в качестве приглашенного ассистента профессора математики в Университете Кларка в Ворчестере, штат Массачусетс, затем, с 1977 по 1982 год, в качестве ассистента профессора математики Дж. Ф. Ритта в Колумбийском университете в Нью-Йорке. В 1983 году он переехал, с научной и инженерной исследовательской стипендией, в отдел электронной и электротехники в Брунельском университете. В 1986 году он был назначен на должность читателя, а затем на должность председателя формальных систем в Брунеле. Форман был соучредителем и техническим директором Abstract Hardware Limited (AHL), компании, созданной в 1986 году. Он играл центральную роль в разработке системы LAMBDA (Logic And Mathematics Behind Design Automation) для помощи в проектировании аппаратного обеспечения, инструмента, реализованного на языке программирования SML и продаваемого AHL. Он покинул компанию в 1997 году. В 1988 году он присоединился к Лаборатории основы информатики в Эдинбургском университете и был назначен на должность председателя компьютерных систем в Департаменте информатики. В 1998 году он был основателем Отдела информатики, который стал нынешней Школой информатики, включая бывший Департамент искусственного интеллекта, Институт приложений искусственного интеллекта, Центр когнитивных наук, Исследовательский центр человеческих коммуникаций и Департамент компьютерных наук. С августа 2002 года он снова возглавляет Школу информатики. Занимал визитные должности в университетах Парижа (1975), Утрехта (1977, 1980), Кембриджа (197980), Сиднея (1982), Монреаля (1983) и Перта (1994).