Biography:Tom Maibaum
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. http://www.cas.mcmaster.ca/~maibaum/Toms_Mac_Site/CV.html.
- ↑ "Tom Maibaum". Canada Research Chairs. http://www.chairs-chaires.gc.ca/chairholders-titulaires/profile-eng.aspx?profileID=1595.
- ↑ 3.0 3.1 Maibaum, Thomas (2011-09-01). "Curriculum Vitae: Thomas Stephen Edward Maibaum". McMaster University. http://www.cas.mcmaster.ca/~maibaum/Toms_Mac_Site/CV_files/CVMaibaum11Sep.pdf.
- ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Profile.
- ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". https://ifipwg21wiki.cs.kuleuven.be/IFIP21/ScopeEtc.
External links
- KCL home page
- , McMaster University
- {{DBLP}} template missing ID and not present in Wikidata.
- Tom Maibaum publications indexed by Google Scholar
- List of publications from Microsoft Academic
- Tom Maibaum at the Mathematics Genealogy Project
 |  |
