 | Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) ( Узнайте, как и когда удалить этот шаблон сообщения )
|
| Майкл Пол Фурман | |
|---|---|
 | |
| Родившийся | 12 сентября 1950 г. Оксфорд , Соединенное Королевство |
| Национальность | Британский |
| Альма-матер | Бакалавр. Бристоль ; Магистр, доктор философии . Оксфорд . |
| Научная карьера | |
| Поля | логик , информатик , математик |
| Учреждения | Эдинбургский университет |
| Докторант | (Магистр) Робин Ганди (доктор философии) Дана Скотт |
Майкл Пол Фурман, 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 BV, Северная Голландия, стр. 1053–1090, ISBN 978-0-444-86388-1
- Fourman, Michael P .; Скотт, Dana S. (1979), «Заметки о пучках и логики ' », в МП Фурман; CJ Mulvey; Дана С. Скотт (ред.), Приложения пучков: материалы исследовательского симпозиума по приложениям теории пучков к логике, алгебре и анализу, Дарем, 9–21 июля 1977 г. (Lecture Notes in Mathematics Vol 753) , Springer- Verlag, стр. 302–401, ISBN 978-0-387-09564-6
- Фурман, Майкл П. (1982), «Понятия последовательности выбора», у Д. ван Далена; A. Troelstra (ред.), Столетний симпозиум LEJ Brouwer: Материалы конференции, состоявшейся в Нордвейкерхауте, 8–13 июня 1981 г. (Stud. Logic Found. Math. 110) , Elsevier Science Publishers BV, Северная Голландия, стр. 91– 105, ISBN 0-444-86494-6
- Fourman, Michael P .; Scedrov, Андре (1982), "В Простейшим мире аксиома выбора не удается", Manuscripta Mathematica , 38 (3): 325-332, DOI : 10.1007 / BF01170929 , ЛВП : 2027,42 / 46645 , S2CID 121944979
- Фурман, Майкл П. (1984), «Непрерывная истина I, неконструктивные объекты», в Дж. Лолли; Г. Лонго; A. Marcja (ред.), Proc. Logic Colloquium '82, Труды коллоквиума, Флоренция, 23–28 августа 1982 г. (Stud. Logic Found. Math. 112) , Elsevier Science Publishers BV, Северная Голландия, стр. 161–180, ISBN 0-444-86876-3
Внешние ссылки [ править ]
- Полная библиография
- Официальная домашняя страница
- Персональная домашняя страница
- Внешкольная домашняя страница
- Профиль пользователя Blogger
