Tom Maibaum - Tom Maibaum
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 | |
Los campos | Ciencias de la Computación |
Instituciones |
Imperial College, London King's College London McMaster University |
Sitio web | www |
Thomas Stephen Edward Maibaum Fellow de la Royal Society of Arts (FRSA) es un científico informático .
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).
Maibaum ha ocupado cargos académicos en Imperial College, Londres , King's College London (Reino Unido) y McMaster University (Canadá). Sus intereses de investigación se han centrado en la teoría de la especificación , junto con su aplicación en diferentes contextos, en el área general de la ingeniería del software .
De 1996 a 2005, estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , que especifica , mantiene y da soporte a los lenguajes de programación. ALGOL 60 y ALGOL 68 .
Es miembro de la Institución de Ingeniería y Tecnología y de la Royal Society of Arts .
Referencias
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