Aidan graduated in 2002 from NUI Maynooth in Ireland. He obtained his postgraduate training in teaching in higher education at the University of Brighton in England where he now works as a senior lecturer. He teaches a range of courses including computer games development to undergraduates and theoretical computer science to postgraduates. His main research interest is in diagrams spanning the gamut from diagram creation through formal representation of diagrams to reasoning using diagrams. He has latterly developed an interest in hetrogeneous reasoning using diagrams. Papers, including those on his diagrammatic research, can be found on the publications page. He successfully defended his Ph.D. thesis on "Relationships between Diagrammatic Logic and Formal Language Theory" in 2012.
I have a long-term interest in open source software. I've been involved, over several years, with the GNOME project. I've contributed a few bug fixes and assisted in the organisation of one European GNOME user and developer conference. I'd love to contribute more, but I still have a Ph.D. thesis to finish. Over the past few years I've been mainly run Fedora Linux and have packaged up some compilers and language bindings for use with the distribution. I always have a few development projects on the go, however my attention to them tends to wax and wane depending on how much I need them for my research. I'm currently working on the following projects
Lorraine is a primary school teacher.