Tom Maibaum

{{Infobox scientist

| name = Tom Maibaum

| native_name =

| native_name_lang =

| image =

| alt =

| caption =

| birth_name =

| birth_date =

| birth_place =

| death_date =

| death_place =

| death_cause =

| resting_place =

| resting_place_coordinates =

| home_town =

| other_names =

| pronounce =

| residence =

| citizenship =

| nationality =

| fields = Computer science

| workplaces = Imperial College, London
King's College London
McMaster University

| patrons =

| education = B.Sc., University of Toronto (1970)
Ph.D., University of London (1974)

| thesis_title =

| thesis_url =

| thesis_year =

| doctoral_advisor =

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for =

| influences =

| influenced =

| awards = Fellow of the Royal Society of Arts

| spouse =

| partner =

| children =

| signature =

| signature_alt =

| website = {{URL|www.cas.mcmaster.ca/~maibaum}}

| footnotes =

}}

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).{{cite web |url=http://www.cas.mcmaster.ca/~maibaum/Toms_Mac_Site/CV.html |title=Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA |publisher=McMaster University |access-date=December 29, 2011}}

Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada).{{cite web |url=http://www.chairs-chaires.gc.ca/chairholders-titulaires/profile-eng.aspx?profileID=1595 |title=Tom Maibaum |website=www.chairs-chaires.gc.ca |publisher=Canada Research Chairs |access-date=December 29, 2011}} 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,{{Cite web |url=http://www.cas.mcmaster.ca/~maibaum/Toms_Mac_Site/CV_files/CVMaibaum11Sep.pdf |title=Curriculum Vitae: Thomas Stephen Edward Maibaum |last=Maibaum |first=Thomas |date=2011-09-01 |website=Department of Computing and Software |publisher=McMaster University |access-date=2020-02-07}} 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,{{cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Profile |title=Profile of IFIP Working Group 2.1 |last1=Jeuring |first1=Johan |last2=Meertens |first2=Lambert |author2-link=Lambert Meertens |last3=Guttmann |first3=Walter |date=2016-08-17 |website=Foswiki |access-date=2020-10-25}} which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.{{Cite web |url=https://ifipwg21wiki.cs.kuleuven.be/IFIP21/ScopeEtc |title=ScopeEtc: IFIP21: Foswiki |last1=Swierstra |first1=Doaitse |last2=Gibbons |first2=Jeremy |author2-link=Jeremy Gibbons |last3=Meertens |first3=Lambert |author3-link=Lambert Meertens |date=2011-03-02 |website=Foswiki |access-date=2020-10-25}}

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