Jump to content
 







Main menu
   


Navigation  



Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate
 




Contribute  



Help
Learn to edit
Community portal
Recent changes
Upload file
 








Search  

































Create account

Log in
 









Create account
 Log in
 




Pages for logged out editors learn more  



Contributions
Talk
 



















Contents

   



(Top)
 


1 References  





2 External links  














Tom Maibaum







Add links
 









Article
Talk
 

















Read
Edit
View history
 








Tools
   


Actions  



Read
Edit
View history
 




General  



What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Wikidata item
 




Print/export  



Download as PDF
Printable version
 
















Appearance
   

 






From Wikipedia, the free encyclopedia
 


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

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

[edit]
  1. ^ "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.
  • ^ a b 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.
  • [edit]
    Retrieved from "https://en.wikipedia.org/w/index.php?title=Tom_Maibaum&oldid=1229233919"

    Categories: 
    Living people
    20th-century Hungarian people
    Hungarian expatriates in Canada
    University of Toronto alumni
    Hungarian expatriates in England
    Alumni of Queen Mary University of London
    Alumni of Royal Holloway, University of London
    Academics of Imperial College London
    Academics of King's College London
    Hungarian computer scientists
    Formal methods people
    Academic staff of McMaster University
    Fellows of the Institution of Engineering and Technology
    Hidden categories: 
    Articles with hCards
    Official website not in Wikidata
    Articles with ISNI identifiers
    Articles with VIAF identifiers
    Articles with WorldCat Entities identifiers
    Articles with BNF identifiers
    Articles with BNFdata identifiers
    Articles with GND identifiers
    Articles with J9U identifiers
    Articles with KBR identifiers
    Articles with LCCN identifiers
    Articles with Libris identifiers
    Articles with NKC identifiers
    Articles with NTA identifiers
    Articles with PLWABN identifiers
    Articles with ACM-DL identifiers
    Articles with DBLP identifiers
    Articles with Google Scholar identifiers
    Articles with MGP identifiers
    Articles with ZBMATH identifiers
    Articles with SUDOC identifiers
    Year of birth missing (living people)
     



    This page was last edited on 15 June 2024, at 16:56 (UTC).

    Text is available under the Creative Commons Attribution-ShareAlike License 4.0; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.



    Privacy policy

    About Wikipedia

    Disclaimers

    Contact Wikipedia

    Code of Conduct

    Developers

    Statistics

    Cookie statement

    Mobile view



    Wikimedia Foundation
    Powered by MediaWiki