Майкл Фурман - Michael Fourman

Майкл Пол Фурман
Майкл Фурман Июль 2006.jpg
Родившийся (1950-09-12) 12 сентября 1950 г. (возраст 70 лет)
Оксфорд, Объединенное Королевство
НациональностьБританский
Альма-матерБакалавр. Бристоль; Магистр, DPhil. Оксфорд.
Научная карьера
Полялогик, специалист в области информатики, математик
УчрежденияЭдинбургский университет
Докторант(Магистр) Робин Ганди
(Д. Фил.) Дана Скотт

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

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

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

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

Карьера

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

В 1983 году он переехал с Совет по науке и инженерным исследованиям Стипендия на кафедру электронной и электротехники в Брунельский университет. Он был назначен читателем, а затем председателем кафедры формальных систем в Brunel в 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 B.V., Северная Голландия, стр. 1053–1090, ISBN  978-0-444-86388-1, ISBN  0-444-86388-5
  • Fourman, Michael P .; Скотт, Дана С. (1979), "Заметки о связках и логике".'", в M. P. Fourman; C. J. Mulvey; Dana S. Scott (ред.), Приложения пучков: материалы исследовательского симпозиума по приложениям теории пучков к логике, алгебре и анализу, Дарем, 9–21 июля 1977 г. (Lecture Notes in Mathematics Vol 753), Springer-Verlag, стр. 302–401, ISBN  978-0-387-09564-6
  • Фурман, Майкл П. (1982), «Понятия последовательности выбора», у Д. ван Далена; А. Трельстра (ред.), L.E.J. Столетний симпозиум Брауэра: Материалы конференции, состоявшейся в Нордвейкерхауте 8–13 июня 1981 г. (Stud. Logic Found. Math. 110), Elsevier Science Publishers B.V., Северная Голландия, стр. 91–105, ISBN  0-444-86494-6
  • Fourman, Michael P .; Щедров, Андре (1982), "The простейшая аксиома выбора в мире терпит неудачу ", Manuscripta Mathematica, 38 (3): 325–332, Дои:10.1007 / BF01170929, HDL:2027.42/46645
  • Фурман, Майкл П. (1984), «Непрерывная истина I, неконструктивные объекты», в Дж. Лолли; Г. Лонго; А. Марча (ред.), Proc. Logic Colloquium '82, Труды коллоквиума, Флоренция, 23–28 августа 1982 г. (Stud. Logic Found. Math. 112), Elsevier Science Publishers B.V., Северная Голландия, стр. 161–180, ISBN  0-444-86876-3

внешняя ссылка