Michael Fourman

Michael Paul Fourman (nacido el 12 de septiembre de 1950) es profesor emérito de Sistemas Informáticos en la Universidad de Edimburgo ^{[ 1 ]} en Escocia, Reino Unido, y fue director de la Escuela de Informática de 2001 a 2009.

Fourman ha trabajado en aplicaciones de la lógica en informática , inteligencia artificial y ciencias cognitivas ; más concretamente, en modelos formales de sistemas digitales , herramientas de diseño de sistemas , asistentes de demostración , semántica categórica y planificación proposicional .

Fourman obtuvo una licenciatura en Matemáticas y Filosofía por la Universidad de Bristol en 1971, y posteriormente una maestría en Lógica Matemática por la Universidad de Oxford en 1972. Escribió su tesis doctoral titulada Conexiones entre la teoría de categorías y la lógica bajo la supervisión de Dana Scott en Oxford, defendiéndola en 1974. ^{[ 2 ]}

Continuó trabajando con Scott como becario postdoctoral de investigación del SRC y becario de investigación junior del Wolfson College , en Oxford, hasta 1976, cuando se trasladó a los EE. UU., primero como profesor asistente visitante de matemáticas en la Universidad Clark en Worcester, Massachusetts , y luego, de 1977 a 1982, como profesor asistente JF Ritt de matemáticas en la Universidad de Columbia en Nueva York.

En 1983, con una beca del Consejo de Investigación en Ciencia e Ingeniería , se trasladó al Departamento de Ingeniería Electrónica y Eléctrica de la Universidad de Brunel . Fue nombrado profesor titular y, posteriormente, catedrático de Sistemas Formales en Brunel en 1986.

Fourman fue cofundador y director técnico de Abstract Hardware Limited (AHL), empresa creada en 1986. Desempeñó un papel fundamental en el desarrollo del sistema LAMBDA (Logic And Mathematics Behind Design Automation) , una herramienta para el diseño de hardware implementada en el lenguaje de programación SML y comercializada por AHL. Dejó la empresa en 1997.

En 1988 se incorporó al Laboratorio de Fundamentos de la Informática de la Universidad de Edimburgo y fue nombrado Catedrático de Sistemas Informáticos del Departamento de Informática. En 1998 fue el director fundador de la División de Informática, que se convirtió en la actual Escuela de Informática , integrando el antiguo Departamento de Inteligencia Artificial, el Instituto de Aplicaciones de Inteligencia Artificial , el Centro de Ciencias Cognitivas, el Centro de Investigación de la Comunicación Humana y el Departamento de Informática.

Ha sido nuevamente director de la Escuela de Informática desde agosto de 2002.

En 2010, Fourman fue elegido miembro de la Real Sociedad de Edimburgo. ^{[ 3 ]}

Ha ocupado puestos de profesor visitante en universidades de París (1975), Utrecht (1977, 1980), Cambridge (1979-80), Sídney (1982), Montreal (1983) y Perth (1994).

• Fourman, Michael P. (1977), "La lógica de los topoi", en Jon Barwise (ed.), Manual de lógica matemática (Stud. Logic Found. Math. 90) , Elsevier Science Publishers BV, North-Holland, pp. 1053–1090 , ISBN  978-0-444-86388-1
• Fourman, Michael P.; Scott, Dana S. (1979), "Notas sobre gavillas y lógica"", en MP Fourman; CJ Mulvey; Dana S. Scott (eds.), Aplicaciones de haces: Actas del Simposio de Investigación sobre Aplicaciones de la Teoría de Haces a la Lógica, el Álgebra y el Análisis, Durham, 9-21 de julio de 1977 (Lecture Notes in Mathematics Vol 753) , Springer-Verlag, pp. 302-401 , ISBN  978-0-387-09564-6
• Fourman, Michael P. (1982), "Nociones de secuencia de elección", en D. van Dalen; A. Troelstra (eds.), Simposio del centenario de LEJ Brouwer: Actas de la conferencia celebrada en Noordwijkerhout, del 8 al 13 de junio de 1981 (Stud. Logic Found. Math. 110) , Elsevier Science Publishers BV, Holanda Septentrional, págs. 91-105 , ISBN  0-444-86494-6
• Fourman, Michael P.; Scedrov, Andre (1982), "El axioma de elección más simple del mundo falla", Manuscripta Mathematica , 38 (3): 325–332 , doi : 10.1007/BF01170929 , hdl : 2027.42/46645 , S2CID 121944979 
• Fourman, Michael P. (1984), "Verdad continua I, objetos no constructivos", en G. Lolli; G. Longo; A. Marcja (eds.), Proc. Logic Colloquium '82, Actas del Coloquio, Florencia, 23-28 de agosto de 1982, (Stud. Logic Found. Math. 112) , Elsevier Science Publishers BV, North-Holland, pp. 161-180 , ISBN  0-444-86876-3

• Bibliografía completa
• Página principal oficial
• Página de inicio personal
• Página principal de actividades extracurriculares
• Perfil de usuario de Blogger