Tom Maibaum | |
---|---|
Education | B.Sc., University of Toronto (1970) Ph.D., University of London (1974) |
Awards | Fellow of the Royal Society of Arts |
Scientific career | |
Fields | Computer science |
Institutions | Imperial College, London King's College London McMaster University |
Website | www |
Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist.
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).[1]
Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada).[2] 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,[3] 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,[4] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[5]
He is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts.[3]
References
- ↑ "Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA". McMaster University. Retrieved December 29, 2011.
- ↑ "Tom Maibaum". www.chairs-chaires.gc.ca. Canada Research Chairs. Retrieved December 29, 2011.
- 1 2 Maibaum, Thomas (2011-09-01). "Curriculum Vitae: Thomas Stephen Edward Maibaum" (PDF). Department of Computing and Software. McMaster University. Retrieved 2020-02-07.
- ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 2020-10-25.
- ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 2020-10-25.
External links
- KCL home page
- Official website, McMaster University
- T. S. E. Maibaum at DBLP Bibliography Server
- Tom Maibaum publications indexed by Google Scholar
- Tom Maibaum publications indexed by Microsoft Academic
- Tom Maibaum at the Mathematics Genealogy Project