Thomas Stephen Edward Maibaum Fellow de la Royal Society of Arts (FRSA) (nacido el 18 de agosto de 1947 en Hungría [1] ) es un científico informático .
Tom Maibaum | |
---|---|
Educación | B.Sc. , Universidad de Toronto (1970) Ph.D. , Universidad de Londres (1974) |
Premios | Miembro de la Royal Society of Arts |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Imperial College, London King's College London McMaster University |
Sitio web | www |
Maibaum tiene una licenciatura en ciencias (B.Sc.) en matemáticas puras de la Universidad de Toronto , Canadá (1970), y un doctorado en filosofía (Ph.D.) en ciencias de la computación de Queen Mary y Royal Holloway Colleges, Universidad de Londres , Inglaterra (1974). [2]
Maibaum ha ocupado cargos académicos en Imperial College, Londres , King's College London (Reino Unido) y McMaster University (Canadá). [3] Sus intereses de investigación se han concentrado en la teoría de la especificación , junto con su aplicación en diferentes contextos, en el área general de la ingeniería de software .
De 1996 a 2005, [4] estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional de Procesamiento de Información (IFIP) , [5] que especificó , mantiene , y es compatible con los lenguajes de programación ALGOL 60 y ALGOL 68 . [6]
Es miembro de la Institución de Ingeniería y Tecnología y de la Royal Society of Arts . [4]
Referencias
- ^ "Tom Maibaum" . Académico semántico . El Instituto Allen de IA . Consultado el 9 de marzo de 2020 .
- ^ "Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA" . Universidad McMaster . Consultado el 29 de diciembre de 2011 .
- ^ "Tom Maibaum" . www.chairs-chaires.gc.ca . Cátedras de Investigación de Canadá . Consultado el 29 de diciembre de 2011 .
- ^ a b Maibaum, Thomas (1 de septiembre de 2011). "Curriculum Vitae: Thomas Stephen Edward Maibaum" (PDF) . Departamento de Computación y Software . Universidad McMaster . Consultado el 7 de febrero de 2020 .
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 25 de octubre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 25 de octubre de 2020 .
enlaces externos
- Página de inicio de KCL
- Sitio web oficial , Universidad McMaster
- TSE Maibaum en el servidor de bibliografía DBLP
- Publicaciones de Tom Maibaum indexadas por Google Scholar
- Lista de publicaciones de Microsoft Academic
- Tom Maibaum en el Proyecto de genealogía matemática