Michael Fourman - Michael Fourman

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) tento článek je autobiografie nebo byl rozsáhle upraven subjektem nebo někým, kdo je k předmětu připojen. Možná bude nutné upravit, aby vyhovovalo požadavkům Wikipedie neutrální hledisko politika. Může být relevantní diskuse o diskusní stránka. (Ledna 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Listopadu 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Michael Fourman“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Listopadu 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Michael Paul Fourman
narozený	(1950-09-12) 12. září 1950 (věk 70) Oxford, Spojené království
Národnost	britský
Alma mater	BSc. Bristol; MSc, DPhil. Oxford.
Vědecká kariéra
Pole	logik, počítačový vědec, matematik
Instituce	University of Edinburgh
Doktorský poradce	(MSc) Robin Gandy (D. Phil.) Dana Scott

Michael Paul Fourman FBCS FRSE (narozen 12. září 1950) je profesorem počítačových systémů na University of Edinburgh ve Skotsku ve Velké Británii a byl vedoucím školy v Informatika v letech 2001–2009.

Fourman se zajímá o aplikace logika v počítačová věda, umělá inteligence, a kognitivní věda - konkrétněji, formální modely z digitální systémy, návrh systému nástroje, důkazní asistenti, kategorická sémantika a propoziční plánování.

Kvalifikace

Fourman získal titul BSc z matematiky s dalšími předměty (filozofie) z University of Bristol v roce 1971, poté jeho MSc v Matematická logika z University of Oxford v roce 1972. Napsal své DPhil teze Spojení mezi teorií kategorie a logikou pod dohledem Dana Scott v Oxfordu, kde v roce 1974 obhájil diplomovou práci.

Kariéra

Pokračoval ve spolupráci se Scottem jako SRC postdoktorandský vědecký pracovník a juniorský vědecký pracovník Wolfson College, v Oxfordu, do roku 1976, kdy se přestěhoval do USA, nejprve jako hostující odborný asistent matematiky v Clarkova univerzita v Worcester, Massachusetts poté v letech 1977–1982, as JF Ritt Assistant Professor of Mathematics ve společnosti Columbia University v New Yorku.

V roce 1983 se přestěhoval s Rada pro vědecký a technický výzkum Fellowship, to the Department of Electronic and Electrical Engineering at Brunel University. V roce 1986 byl jmenován do čtečky a poté do předsedy společnosti Formal Systems v Brunel.

Fourman byl spoluzakladatelem a technickým ředitelem společnosti Abstract Hardware Limited (AHL), která byla založena v roce 1986. Byl ústředním ve vývoji Systém LAMBDA (Logic And Mathematics Behind Design Automation) to help hardwarový design, nástroj implementovaný v SML programovací jazyk a na trh AHL. Společnost opustil v roce 1997.

V roce 1988 nastoupil do Laboratoř pro základy informatiky na University of Edinburgh, a byl jmenován do funkce předsedy počítačových systémů na katedře informatiky. V roce 1998 zakládal vedoucí divize informatiky, která se stala současnou Škola informatiky, zahrnující bývalé ministerstvo umělé inteligence, Institut aplikací pro umělou inteligenci Centrum pro kognitivní vědu, Centrum pro výzkum lidské komunikace a Katedra informatiky.

Od srpna 2002 je opět vedoucím školy informatiky.

Zastával hostující pozice na univerzitách v Praze Paříž (1975), Utrecht (1977, 1980), Cambridge (1979–80), Sydney (1982), Montreal (1983) a Perth (1994).

Bibliografie

• Fourman, Michael P. (1977), "Logika topoi", v Jon Barwise (vyd.), Příručka matematické logiky (Stud. Logika nalezena. Matematika 90), Elsevier Science Publishers B.V., North-Holland, str. 1053–1090, ISBN  978-0-444-86388-1, ISBN  0-444-86388-5
• Fourman, Michael P .; Scott, Dana S. (1979), „Notes on sheaves and logic'", M. P. Fourman; C. J. Mulvey; Dana S. Scott (eds.), Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, 9. – 21. Července 1977 (Lecture Notes in Mathematics Vol 753), Springer-Verlag, str. 302–401, ISBN  978-0-387-09564-6
• Fourman, Michael P. (1982), „Pojmy volby sekvence“, D. van Dalen; A. Troelstra (eds.), L.E.J. Brouwer Centenary Symposium: Sborník z konference konané v Noordwijkerhout, 8. – 13. Června 1981 (Stud. Logic Found. Math. 110), Elsevier Science Publishers B.V., North-Holland, str. 91–105, ISBN  0-444-86494-6

• Fourman, Michael P .; Scedrov, Andre (1982), „The nejjednodušší světový axiom výběru selže ", Manuscripta Mathematica, 38 (3): 325–332, doi:10.1007 / BF01170929, hdl:2027.42/46645
• Fourman, Michael P. (1984), „Kontinuální pravda I, nekonstruktivní objekty“, G. Lolli; G. Longo; A. Marcja (eds.), Proc. Logic Colloquium '82, Proceedings of the Colloquium, Florencie, 23. – 28. Srpna 1982, (Stud. Logic Found. Math. 112), Elsevier Science Publishers B.V., North-Holland, str. 161–180, ISBN  0-444-86876-3

externí odkazy

• Plná bibliografie
• Oficiální domovská stránka
• Osobní domovská stránka
• Mimoškolní domovská stránka
• Uživatelský profil služby Blogger