Michael Paul Fourman FBCs FRSE (nacido el 12 de septiembre de 1950) es Profesor de Sistemas de Computación de la Universidad de Edimburgo en Escocia, Reino Unido, y fue director de la Escuela de Informática a partir 2001-2009.
Michael Paul Fourman | |
---|---|
Nació | Oxford , Reino Unido | 12 de septiembre de 1950
Nacionalidad | británico |
alma mater | Universidad de Oxford , Universidad de Bristol . |
Carrera científica | |
Campos | lógico , informático , matemático |
Instituciones | Universidad de Edimburgo |
Asesor de doctorado | Robin Gandy Dana Scott |
Fourman trabaja en aplicaciones de lógica en informática , inteligencia artificial y ciencia cognitiva , más específicamente, modelos formales de sistemas digitales , herramientas de diseño de sistemas , asistentes de pruebas , semántica categórica y planificación proposicional .
Calificaciones
Fourman recibió una licenciatura en Matemáticas y Filosofía de la Universidad de Bristol en 1971, luego su Maestría en la lógica matemática de la Universidad de Oxford en 1972. Escribió sus dphil tesis Las conexiones entre la teoría de categorías y la lógica bajo la supervisión de Dana Scott en Oxford, defendiendo su tesis en 1974.
Carrera profesional
Continuó trabajando con Scott como investigador postdoctoral SRC y miembro investigador junior del Wolfson College , en Oxford, hasta 1976, cuando se mudó a los EE. UU., Primero como profesor asistente visitante de matemáticas en la Universidad de Clark en Worcester, Massachusetts , luego , de 1977 a 1982, como profesor adjunto de matemáticas JF Ritt en la Universidad de Columbia en Nueva York.
En 1983 se trasladó, con una beca del Consejo de Investigación en Ciencias e Ingeniería , al Departamento de Ingeniería Electrónica y Eléctrica de la Universidad de Brunel . Fue nombrado lector y luego presidente de sistemas formales en Brunel en 1986.
Fourman fue cofundador y director técnico de Abstract Hardware Limited (AHL), una empresa formada en 1986. Fue fundamental en el desarrollo del sistema LAMBDA (Logic And Mathematics Behind Design Automation) para ayudar al diseño de hardware , una herramienta implementada en el Lenguaje de programación SML y comercializado por AHL. Dejó la empresa en 1997.
En 1988 se incorporó al Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo , y fue nombrado Presidente de Sistemas Informáticos en el Departamento de Ciencias de la Computación. En 1998 fue Director fundador de la División de Informática, que se convirtió en la actual Escuela de Informática , incorporando el antiguo Departamento de Inteligencia Artificial, el Instituto de Aplicaciones de Inteligencia Artificial , el Centro de Ciencias Cognitivas, el Centro de Investigación en Comunicación Humana y el Departamento de Ciencias de la Computación.
Ha vuelto a ser Director de la Facultad de Informática desde agosto de 2002.
Ha ocupado puestos de visita en universidades de París (1975), Utrecht (1977, 1980), Cambridge (1979-1980), Sydney (1982), Montreal (1983) y Perth (1994).
Bibliografía
- Fourman, Michael P. (1977), "La lógica de los topoi", en Jon Barwise (ed.), Handbook of Mathematical Logic (Stud. Logic Found. Math. 90) , Elsevier Science Publishers BV, North-Holland, págs. 1053–1090, ISBN 978-0-444-86388-1
- Fourman, Michael P .; Scott, Dana S. (1979), "Notas sobre las poleas y la lógica ' ", en MP Fourman; CJ 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 al 21 de julio de 1977 (Lecture Notes in Mathematics Vol 753) , Springer- Verlag, págs. 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.), LEJ Brouwer Centenary Symposium: Actas de la conferencia celebrada en Noordwijkerhout, del 8 al 13 de junio de 1981 (Stud. Logic Found. Math. 110) , Elsevier Science Publishers BV, North-Holland, 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, Holanda Septentrional, págs. 161–180, ISBN 0-444-86876-3
enlaces externos
- Bibliografía completa
- Página de inicio oficial
- Página personal
- Página de inicio extracurricular
- Perfil de usuario de Blogger