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 .cas .mcmaster .ca / ~ maibaum

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