Interests

My research aims to make programmers better at what they do, by providing new tools and languages. I like applying theory, especially when it is driven by good applications. In the past I have worked on functional programming, program derivation, category theory and predicate transformer semantics.

See also

• Programming tools research team
• Research home page
• Centre for metacomputation

Selected Publications

View AllManage publications

• The Algebra of Programming

  Richard Bird and Oege de Moor

  In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design. Pages 167−203. Springer−Verlag. 1994.

  Details about The Algebra of Programming | BibTeX data for The Algebra of Programming | Link to The Algebra of Programming

Activities

• Programming Tools

Completed Projects

• Aspect-Oriented Programming Languages
• Aspect Refactoring Tools
• Metacomputation

Past Students