Tom Maibaum Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) (born 18 August 1947 in Hungary) 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). Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada). 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, he was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1, which supports and maintains ALGOL 60 and ALGOL 68. He is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts. References External links KCL home page , McMaster University Category:1947 births Category:Living people Category:20th-century Hungarian people Category:Hungarian expatriates in Canada Category:University of Toronto alumni Category:Hungarian expatriates in the United Kingdom Category:Alumni of Queen Mary University of London Category:Alumni of Royal Holloway, University of London Category:Academics of Imperial College London Category:Academics of King's College London Category:Hungarian computer scientists Category:Formal methods people Category:McMaster University faculty Category:Fellows of the Institution of Engineering and Technology