Research My interests include aspects of software engineering
and aspects of theoretical computer science. Especially, I am interested in
software design: what good design is, how people do it, how and to what
extent tools can help. Currently, I am mostly interested in mathematical
aspects of model-driven development, especially
bidirectional model transformations. My main affiliation is with the Laboratory for Foundations of Computer
I write sporadically on my blog, which is called Software
Engineering Research but may include anything I fancy.
- With Andrzej Wąsowski I
will chair the PC of FASE 2016.
- I chair the Bx Steering
- I am leading an EPSRC-funded research project, joint with Oxford, on A theory of least change for
- With Tim Lethbridge, I chaired the Educators'
Symposium at MODELS 2013. Pre-proceedings and
draft programme page
- With James Terwilliger I chaired the PC of the Second International
Workshop on Bidirectional Transformations (Bx 2013)
- I am an editor of the Elsevier journal Theoretical Computer Science
(Section B, i.e. Logic, semantics and theory of programming).
- I am on the editorial board of SoSym, the Springer journal Software and
- Recent and forthcoming PCs:
Working with me
Recently graduated student: Cristina-Adriana Alexandru
I would be happy to hear from strong prospective PhD students. You can find
information about how to apply for a PhD (or MSc) place
centrally. Here are some specific notes about
studying with me. Please note in particular that I get a lot of emails
asking for PhD places that look as though they could have been copied
unchanged to hundreds of academics. I do not reply to these.
We have no internships, and there are currently no vacancies for research fellows.
I occasionally undertake consultancy in areas relating to my research,
especially software modelling.
Teaching and administration
I am the Director of Computing; this principally means liaising between
computing staff and other Informatics people concerning both strategy for
and operations of our computing infrastructure.
In 2015/16 I am lecturing:
I am a Personal Tutor. Information sheet.
Links to things...