Tom Maibaum

Last updated
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.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]

Related Research Articles

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist

Niklaus Emil Wirth is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, for developing a sequence of innovative computer languages.

<span class="mw-page-title-main">Peter Naur</span> Danish computer science pioneer

Peter Naur was a Danish computer science pioneer and Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for most programming languages. He also contributed to creating the language ALGOL 60.

<span class="mw-page-title-main">Stephen R. Bourne</span> British computer scientist

Stephen Richard "Steve" Bourne is an English computer scientist based in the United States for most of his career. He is well known as the author of the Bourne shell (sh), which is the foundation for the standard command-line interfaces to Unix.

<span class="mw-page-title-main">Adriaan van Wijngaarden</span> Dutch mathematician and computer scientist

Adriaan "Aad" van Wijngaarden was a Dutch mathematician and computer scientist. Trained as a mechanical engineer, Van Wijngaarden emphasized and promote the mathematical aspects of computing, first in numerical analysis, then in programming languages and finally in design principles of such languages.

<span class="mw-page-title-main">Nobuo Yoneda</span> Japanese mathematician and computer scientist

Nobuo Yoneda was a Japanese mathematician and computer scientist.

David A. Turner is a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985). Miranda had a strong influence on the later Haskell.

Eric "Rick" C. R. Hehner is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton University, graduating with a Bachelor of Science (B.Sc.) in 1969. He studied computer science at the University of Toronto, graduating with a Master of Science (M.Sc.) in 1970, and a Doctor of Philosophy (Ph.D.) in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in software engineering in 2001, and retired in 2012.

John Edward Lancelot Peck was the first permanent Head of Department of Computer Science at the University of British Columbia (UBC). He remained the Head of Department from 1969 to 1977.

Barry James Mailloux obtained his Master of Science (M.Sc.) in numerical analysis in 1963. From 1966, he studied at Amsterdam's Mathematisch Centrum under Adriaan van Wijngaarden, earning a Doctor of Philosophy (Ph.D.) in 1968.

<span class="mw-page-title-main">Cornelis H. A. Koster</span> Dutch computer scientist (1943–2013)

Cornelis Hermanus Antonius "Kees" Koster was a Dutch computer scientist who was a professor in the Department of Informatics at the Radboud University Nijmegen in the Netherlands.

<span class="mw-page-title-main">Richard Bird (computer scientist)</span>

Richard Simpson Bird was a Supernumerary Fellow of Computation at Lincoln College, University of Oxford, in Oxford England, and former director of the Oxford University Computing Laboratory.

Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens is a Dutch computer scientist and professor. As of 2020, he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park.

<span class="mw-page-title-main">Willem van der Poel</span> Dutch computer scientist

Willem Louis van der Poel is a pioneering Dutch computer scientist, who is known for designing one of the first computers to be designed in the Netherlands, the Zeer Eenvoudige Binaire Reken Automaat (ZEBRA), translated as Very Simple Binary Automatic Calculator.

<span class="mw-page-title-main">Micha Sharir</span> Israeli mathematician and computer scientist

Micha Sharir is an Israeli mathematician and computer scientist. He is a professor at Tel Aviv University, notable for his contributions to computational geometry and combinatorial geometry, having authored hundreds of papers.

Klaus Samelson was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers.

<span class="mw-page-title-main">Jeremy Gibbons</span> British computer scientist

Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.

IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP).

Charles Katz is an American mathematician and computer scientist known for his contributions to early compiler development in the 1950s.

Michel Sintzoff was a Belgian mathematician and computer scientist.

Yanhong Annie Liu is a computer scientist and professor of computer science at Stony Brook University where she works on new programming languages, software systems, algorithms, program design, optimizing, analysis, and transformations, intelligent systems, distributed computing systems, and computer security.

References

  1. "Curriculum Vitae: Thomas Stephen Edward Maibaum BSc PhD CEng MIEEE FIEE FRSA". McMaster University . Retrieved December 29, 2011.
  2. "Tom Maibaum". www.chairs-chaires.gc.ca. Canada Research Chairs. Retrieved December 29, 2011.
  3. 1 2 Maibaum, Thomas (2011-09-01). "Curriculum Vitae: Thomas Stephen Edward Maibaum" (PDF). Department of Computing and Software. McMaster University. Retrieved 2020-02-07.
  4. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 2020-10-25.
  5. Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 2020-10-25.