Skip to main content

Algebra of Programming

The Algebra of Programming group researches mathematically sound yet convenient techniques for manipulating and reasoning with programs, with a particular interest in the functional and relational paradigms and in generic programming. It seeks patterns in specifications, algorithms and programs, and abstracts these patterns to derive solutions to general classes of problems. An active weekly seminar consists of interactive problem-solving discussions around the whiteboard.

Video introduction

Faculty

Emeritus Faculty

Students

External

Sharon Curtis
(Oxford Brookes)
Cezar Ionescu
(Dept. for Continuing Education)

Past Members

Richard Bird
Guillaume Boisseau
Kwok-Ho Cheung
Stephen Drape
Tom Harper
Ralf Hinze
Daniel James
Josh Ko
José Pedro Magalhães
Bruno Oliveira
Maciej Pirog
Meng Wang
Nicolas Wu
Timothy Zakian

Selected Publications

View All