Jeremy Gibbons

Last updated

Jeremy Gibbons
Jeremy Gibbons.jpg
Citizenship United Kingdom
Education University of Edinburgh (B.Sc., 1987)
University of Oxford (D.Phil., 1991)
Scientific career
Fields Computer science
Institutions University of Auckland
Oxford Brookes University
University of Oxford
Thesis Algebras for tree algorithms  (1991)
Website www.comlab.ox.ac.uk/jeremy.gibbons

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

Contents

Academic

Professor Gibbons obtained a Bachelor of Science (BSc) (Hons) in computer science from the University of Edinburgh (1983–1987), and a Doctor of Philosophy (DPhil) in Computation from the University of Oxford (1987–1991). [3]

Before taking his current post, he was, first, lecturer in computer science, University of Auckland (1991–1996), next, lecturer and senior lecturer in computing, Oxford Brookes University (1996–1999), and then reader in software engineering at the University of Oxford. [3]

His research activities include programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation. [3]

His current projects include CancerGrid; Datatype-Generic Programming; Automatic Generation of Software Components; Workflow for Cancer Bioinformatics. [3]

His publications cover generic programming, functional programming, formal methods, computational biology, bioinformatics, [5] [6] and Algorithm Design with Haskell co-authored with Richard Bird. [7]

He is a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, [8] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. [9] Since 2009, he has been chairperson.

Related Research Articles

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

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 Landin</span> British computer scientist (1930–2009)

Peter John Landin was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.

<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> British computer scientist

Richard Simpson Bird was an English computer scientist. He 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.

Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist.

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

Willem Louis van der Poel is a 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.

Charles Hodgson Lindsey was a British computer scientist, most known for his involvement with the programming language ALGOL 68.

<span class="mw-page-title-main">Roland Carl Backhouse</span> British computer scientist and mathematician

Roland Carl Backhouse is a British computer scientist and mathematician. As of 2020, he is Emeritus Professor of Computing Science at the University of Nottingham.

Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.

Conor McBride is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

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

<span class="mw-page-title-main">Michel Sintzoff</span>

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. ↑ "Six members of the Department become professors". Department of Computer Science. University of Oxford. 28 July 2011. Retrieved 5 August 2020.
  2. ↑ Gibbons, Jeremy. "Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  3. 1 2 3 4 5 "Software Engineering at Oxford: Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  4. ↑ "Professor Jeremy Gibbons becomes Pro-Proctor". Department of Computer Science. University of Oxford. 23 March 2016. Retrieved 5 August 2020.
  5. ↑ Gibbons, Jeremy (1 July 2020). "Jeremy Gibbons: Publications". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  6. ↑ Gibbons, Jeremy (1 September 2007). "Jeremy Gibbons: Publications". Software Engineering Programme. University of Oxford. Retrieved 5 August 2020.
  7. ↑ Bird, Richard; Gibbons, Jeremy (July 2020). Algorithm Design with Haskell. Cambridge University Press. ISBN   978-1-108-49161-7.
  8. ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 6 September 2020.
  9. ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 6 September 2020.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.