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. Papers, including those on his diagrammatic research, can be found on the publications page. His his Ph.D. thesis on "Relationships between Diagrammatic Logic and Formal Language Theory" is available in PDF format.
Sketching Euler Diagrams: I was a Co-Investigator on this project where my colleague Dr Gem Stapleton was the Principal Investigator. This project ran from 2010 to 2011. It devised the first sketch recognition tools for Euler diagrams, and is collaborative with Dr Beryl Plimmer (University of Auckland), Nokia Research (Helsinki), and Dr Peter Rodgers (University of Kent); Aidan Delaney is a Co-Investigator at Brighton. At present, the sketching tools are being extended to spider diagrams.
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 currently maintain the C++ bindings to Clutter Box2D. 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