Tom Maibaum
Thomas Stephen Edward Maibaum FRSA (born 18 August 1947 in Hungary[citation needed]) is a computer scientist.
Tom Maibaum has an undergraduate degree in Pure Mathematics from the University of Toronto, Canada (1970), and a PhD 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 and its application in different contexts, in the general area of software engineering.
Maibaum is a Fellow of the Institution of Engineering and Technology and the Royal Society of Arts.[citation needed]
References[edit]
- ^ "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.
External links[edit]
- KCL home page
- McMaster home page
- T. S. E. Maibaum at DBLP Bibliography Server
- Tom Maibaum publications indexed by Google Scholar
- List of publications from Microsoft Academic
- Tom Maibaum at the Mathematics Genealogy Project
- 1947 births
- Living people
- 20th-century Hungarian people
- Hungarian expatriates in Canada
- University of Toronto alumni
- Hungarian expatriates in the United Kingdom
- 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
- McMaster University faculty
- Fellows of the Institution of Engineering and Technology
