stringtranslate.com

Tom Maibaum

Thomas Stephen Edward Maibaum, miembro 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 informática de Queen Mary y Royal Holloway Colleges, Universidad de Londres , Inglaterra (1974). [1]

Maibaum ha ocupado puestos académicos en el Imperial College de Londres , el King's College de Londres (Reino Unido) y la Universidad McMaster (Canadá). [2] 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 de software .

De 1996 a 2005, [3] estuvo involucrado en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [4] que especificó , mantiene y soporta los lenguajes de programación ALGOL 60 y ALGOL 68. [ 5]

Es miembro de la Institución de Ingeniería y Tecnología y de la Royal Society of Arts . [3]

Referencias

  1. ^ "Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA". Universidad McMaster . Consultado el 29 de diciembre de 2011 .
  2. ^ "Tom Maibaum". www.chairs-chaires.gc.ca . Cátedras de investigación de Canadá . Consultado el 29 de diciembre de 2011 .
  3. ^ ab Maibaum, Thomas (1 de septiembre de 2011). "Curriculum Vitae: Thomas Stephen Edward Maibaum" (PDF) . Departamento de Informática y Software . Universidad McMaster . Consultado el 7 de febrero de 2020 .
  4. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). «Perfil del grupo de trabajo 2.1 del IFIP». Foswiki . Consultado el 25 de octubre de 2020 .
  5. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki". Foswiki . Consultado el 25 de octubre de 2020 .

Enlaces externos