Jeremy Gibbons is Professor of Computing at the University of Oxford, where he teaches on the part-time professional master's programme in software engineering. He has been devoted to functional programming since the late eighties; he is Editor-in-Chief of the Journal of Functional Programming, and his particular interests are in patterns in functional programming and in reasoning about programs.