Майкл Фурман

Майкл Пол Фурман
Рожденный	( 1950-09-12 ) 12 сентября 1950 г. Оксфорд , Великобритания
Национальность	Британский
Альма-матер	Оксфордский университет , Бристольский университет .
Научная карьера
Поля	логик , ученый-компьютерщик , математик
Учреждения	Эдинбургский университет
Докторантура	Робин Ганди Дана Скотт

Майкл Пол Фурман FBCS FRSE (родился 12 сентября 1950 г.) — профессор компьютерных систем Эдинбургского университета в Шотландии, Великобритания, а также руководитель школы информатики с 2001 по 2009 г.

Фурман работает над приложениями логики в информатике , искусственном интеллекте и когнитивной науке , а точнее, над формальными моделями цифровых систем , инструментами проектирования систем , помощниками по доказательству , категориальной семантикой и пропозициональным планированием .

Квалификация

Фурман получил степень бакалавра математики и философии в Бристольском университете в 1971 году, затем степень магистра математической логики в Оксфордском университете в 1972 году. Он написал докторскую диссертацию «Связи между теорией категорий и логикой» под руководством Даны Скотт в Оксфорде. защитив диссертацию в 1974 году.

Карьера

Он продолжал работать со Скоттом в качестве постдокторского научного сотрудника SRC и младшего научного сотрудника Колледжа Вольфсона в Оксфорде до 1976 года, когда он переехал в США, сначала в качестве приглашенного доцента математики в Университете Кларка в Вустере, Массачусетс , затем с 1977 по 1982 год в должности Дж. Ф. Ритта доцента математики в Колумбийском университете в Нью-Йорке.

В 1983 году он перешел, получив стипендию Совета по науке и инженерным исследованиям , на факультет электронной и электротехники Университета Брунеля . В 1986 году он был назначен читательским, а затем заведующим кафедрой формальных систем в Брюнеле.

Фурман был соучредителем и техническим директором компании Abstract Hardware Limited (AHL), основанной в 1986 году. Он сыграл центральную роль в разработке системы LAMBDA (логика и математика, лежащая в основе автоматизации проектирования) для помощи в проектировании аппаратного обеспечения , инструмента, реализованного в Язык программирования SML , продаваемый AHL. Он покинул компанию в 1997 году.

В 1988 году он присоединился к Лаборатории основ информатики и Эдинбургского университета был назначен заведующим кафедрой компьютерных систем на факультете компьютерных наук.В 1998 году он основал кафедру информатики, которая стала нынешней Школой информатики , в которую вошли бывший факультет искусственного интеллекта, Институт приложений искусственного интеллекта , Центр когнитивных наук, Исследовательский центр человеческих коммуникаций и Департамент Информатика.

С августа 2002 года он снова возглавляет Школу информатики.

Он занимал должности приглашенного специалиста в университетах Парижа (1975 г.), Утрехта (1977, 1980 г.), Кембриджа (1979–80 гг.), Сиднея (1982 г.), Монреаля (1983 г.) и Перта (1994 г.).

Библиография

• Фурман, Майкл П. (1977), «Логика топосов», в книге Джона Барвайза (ред.), Справочник по математической логике (Stud. Logic Found. Math. 90) , Elsevier Science Publishers BV, Северная Голландия, стр. 1053–1090, ISBN  978-0-444-86388-1
• Фурман, Майкл П.; Скотт, Дана С. (1979), «Заметки о связках и логике» , в М.П. Фурмане; Си Джей Малви; Дана С. Скотт (ред.), Применения пучков: материалы исследовательского симпозиума по приложениям теории пучков к логике, алгебре и анализу, Дарем, 9–21 июля 1977 г. (конспекты лекций по математике, том 753) , Springer- Верлаг, стр. 302–401, ISBN.  978-0-387-09564-6
• Фурман, Майкл П. (1982), «Представления о последовательности выбора», Д. ван Дален; А. Трульстра (ред.), Симпозиум столетия Л. Дж. Брауэра: материалы конференции, состоявшейся в Нордвейкерхауте, 8–13 июня 1981 г. (Stud. Logic Found. Math. 110) , Elsevier Science Publishers BV, Северная Голландия, стр. 91– 105, ISBN  0-444-86494-6

• Фурман, Майкл П.; Щедров, Андре (1982), « Простейшая в мире аксиома выбора терпит неудачу», Manuscripta Mathematica , 38 (3): 325–332, doi : 10.1007/BF01170929 , hdl : 2027.42/46645 , S2CID   121944979
• Фурман, Майкл П. (1984), «Непрерывная истина I, неконструктивные объекты», у Дж. Лолли; Г. Лонго; А. Марча (ред.), Proc. Коллоквиум по логике '82, Материалы коллоквиума, Флоренция, 23–28 августа 1982 г. (Stud. Logic Found. Math. 112) , Elsevier Science Publishers BV, Северная Голландия, стр. 161–180, ISBN  0-444-86876-3

Внешние ссылки

• Полная библиография
• Официальная домашняя страница
• Персональная домашняя страница
• Домашняя страница внеклассных занятий
• Профиль пользователя блоггера