Brief scientific biography

Oege de Moor's career in computing started with a word processor for Arabic and Hebrew, which he implemented on a Tandy-compatible microcomputer. He then went on to study computer science at the university of Utrecht, The Netherlands, under supervision of Doaitse Swierstra. A highlight of his time at Utrecht was the construction of a compiler for the OCCAM language, written using an attribute grammar system. For his doctoral studies, Oege de Moor moved to the University of Oxford, to work with Richard Bird. Together they investigated the characterisation of algorithmic paradigms such as greedy algorithms and dynamic programming, in a calculus for program derivation. With the encouragement of Tony Hoare, Oege de Moor developed a categorical theory that allowed one to write programs that are parameterised by datatypes - so-called "generic" programs.

After completing a textbook on that topic, Oege de Moor turned his attention to the mechanised transformation of computer programs. He founded the programming tools group, aided by a very successful collaborative project with Charles Simonyi at Microsoft. With Ganesh Sittampalam, he invented a number of novel matching algorithms that enable many complex transformations to be expressed in a very simple manner. With David Lacey and Eric van Wyk, he devised novel ways of specifying the complex side conditions of program transformations via temporal logic. Again with Sittampalam, he showed how such specifications can be efficiently executed. In 2004, Laurie Hendren visited his research team, and together they started the abc project, investigating the design and compilation of aspect-oriented programming languages.

Oege de Moor has held visiting appointments at the University of Tokyo, Chalmers University and Microsoft Research. He is presently a professor at the University of Oxford, and a tutorial fellow of Magdalen College.

Picture

Full CV

Full CV, September 2006