Jeremy Gibbons
Encyclopedia
Jeremy Gibbons is a Computer Scientist
and Professor of Computing at the University of Oxford
. He is also Deputy Director of the Software Engineering Programme
at the University of Oxford and Governing Body Fellow at Kellogg College.
(1983–1987), and a DPhil in Computation from the University of Oxford (1987–1991).
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.
His research activities includes Programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation.
His current projects include CancerGrid; Datatype-Generic Programming; Automatic Generation of Software Components; Workflow for Cancer Bioinformatics.
His publications covers Generic programming
, Functional Programming
, Formal Methods
, Computational Biology
and Bioinformatics
.
Gibbons is also the chairman of IFIP Working Group 2.1
, a position he has held since 2009.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
and Professor of Computing at the University of Oxford
University of Oxford
The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...
. He is also Deputy Director of the Software Engineering Programme
Software Engineering Programme
Software Engineering Programme is a centre for advanced education and applied research at the University of Oxford . It teaches the principles of modern software engineering, together with the tools, methods, and techniques that support their application...
at the University of Oxford and Governing Body Fellow at Kellogg College.
Academic
Gibbons obtained a BSc (Hons) in Computer Science from the University of EdinburghUniversity of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
(1983–1987), and a DPhil in Computation from the University of Oxford (1987–1991).
Before taking his current post, he was, first, Lecturer in Computer Science, University of Auckland
University of Auckland
The University of Auckland is a university located in Auckland, New Zealand. It is the largest university in the country and the highest ranked in the 2011 QS World University Rankings, having been ranked worldwide...
(1991–1996), next, Lecturer and Senior Lecturer in Computing, Oxford Brookes University
Oxford Brookes University
Oxford Brookes University is a new university in Oxford, England. It was named to honour the school's founding principal, John Brookes. It has been ranked as the best new university by the Sunday Times University Guide 10 years in a row...
(1996–1999), and then Reader in Software Engineering at the University of Oxford.
His research activities includes Programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation.
His current projects include CancerGrid; Datatype-Generic Programming; Automatic Generation of Software Components; Workflow for Cancer Bioinformatics.
His publications covers Generic programming
Generic programming
In a broad definition, generic programming is a style of computer programming in which algorithms are written in terms of to-be-specified-later types that are then instantiated when needed for specific types provided as parameters...
, Functional Programming
Functional programming
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...
, Formal Methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
, Computational Biology
Computational biology
Computational biology involves the development and application of data-analytical and theoretical methods, mathematical modeling and computational simulation techniques to the study of biological, behavioral, and social systems...
and Bioinformatics
Bioinformatics
Bioinformatics is the application of computer science and information technology to the field of biology and medicine. Bioinformatics deals with algorithms, databases and information systems, web technologies, artificial intelligence and soft computing, information and computation theory, software...
.
Gibbons is also the chairman of IFIP Working Group 2.1
IFIP Working Group 2.1
IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing ....
, a position he has held since 2009.