Tom Maibaum

Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) (born 18 August 1947 in Hungary[1]) is a computer scientist.

Tom Maibaum
EducationB.Sc., University of Toronto (1970)
Ph.D., University of London (1974)
AwardsFellow of the Royal Society of Arts
Scientific career
FieldsComputer science
InstitutionsImperial College, London
King's College London
McMaster University
Websitewww.cas.mcmaster.ca/~maibaum

Maibaum has a Bachelor of Science (B.Sc.) undergraduate degree in pure mathematics from the University of Toronto, Canada (1970), and a Doctor of Philosophy (Ph.D.) in computer science from Queen Mary and Royal Holloway Colleges, University of London, England (1974).[2]

Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada).[3] His research interests have concentrated on the theory of specification, together with its application in different contexts, in the general area of software engineering.

From 1996 to 2005,[4] he was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[5] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[6]

He is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts.[4]

References
  1. "Tom Maibaum". Semantic Scholar. The Allen Institute for AI. Retrieved 2020-03-09.
  2. "Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA". McMaster University. Retrieved December 29, 2011.
  3. "Tom Maibaum". www.chairs-chaires.gc.ca. Canada Research Chairs. Retrieved December 29, 2011.
  4. Maibaum, Thomas (2011-09-01). "Curriculum Vitae: Thomas Stephen Edward Maibaum" (PDF). Department of Computing and Software. McMaster University. Retrieved 2020-02-07.
  5. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 2020-10-25.
  6. Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 2020-10-25.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.