H N Y 9 7 3 4 8 :

604 Richard Bird

uk
uk
web page
Academic Profile
I am Fellow and Tutor in Computation at Lincoln College, and University Professor of Computation.  I am also currently the Director of the Computing Laboratory, the University's Department of Computer Science.  I am a Londoner and took my first degree in mathematics at Gonville and Caius College, Cambridge.  I switched to computing and studied for my doctorate at London University.

I came to Oxford in the 1980s, having previously taught at both the Institute of Computer Science in London, and at Reading University.

Research Interests
My research interests concern the mathematics of program construction; the idea is to be able to calculate programs from mathematical statements of what they are supposed to do.  My book The Algebra of Programming develops a calculus for constructing programs, and it applies to a number of problems that arise in combinatorial optimisation.

Another interest is functional programming.  I am the author of Introduction to Functional Programming, which is used as a first-year text book at a number of universities, including Oxford.

Languages:

References:

  • Bird, Richard S. (1986) Bird, Richard S. "Introduction to the Theory of Lists". Technical Report PRG-56, Oxford University Computing Laboratory, Programming Research Group, October 1986.  E A
  • Bird, R. S. (1987) Bird, R. S. "An introduction to the theory of lists" Logic of Programming and Calculi of Discrete Design. NATO ASI Series F: Computer and Systems Sciences, Volume 36 Author: Broy, Manfred, ed Springer 1987 Marktoberdorf, Germany pp5-42 1987  E A
  • Bird, R. S. (1988) Bird, R. S. "Lecture notes on constructive functional programming" Technical monograph 69; PRG, Oxford University, September 1988.  E A
  • Bird, R.S. (1990) Bird, R.S. "A Calculus of Functions for Program Derivation", in Res Topics in Fnl Prog, D. Turner ed, A-W 1990.  E A
  • Bird, Richard and de Moor, Oege (1996) Bird, Richard and de Moor, Oege "Algebra of Programming", Prentice Hall September 1996  E A