Search
Menu
Home
Sources
About
Contacts
Richard Bird (computer scientist)
Richard Simpson
Bird
is a
Supernumerary Fellow
of
Computation
at
Lincoln College, University of Oxford
, in
Oxford
England
, and former
director
of the
Oxford University Computing Laboratory
.
Bird's
research
interests
lie
in
algorithm design
and
functional programming
, and he is known as a regular
contributor
to the
Journal of
Functional Programming
and the author of
Introduction to
Functional
Programming using
Haskell
and other books. His name is associated with the
Bird–Meertens formalism
, a
calculus
for deriving programs from
specifications
in a functional
programming style
.
Formerly, Bird was at the
University of Reading
.