Overview

I am a researcher at the School of Computer Science at the University of St. Andrews.

Email: caj21@st-andrews.ac.uk

Telephone: +44 1334 463272

My main research interests are:

Constraint Programming

Constraint Programming is the research topic that takes the majority of my time. I am one of the primary developers of the Minion constraint solver, and have published papers on a variety of areas relating to both solving, and using constraint solvers. If you have any issues with Minion, or just have any general questions about constraint programming, feel free to ask me.

Computational Group Theory

One of my current major applications of constraint programming is computational group theory. This is a new research area for me and I am interested in any search problems in mathematics. I will shortly be releasing a new constraint solver specialised for group theory problems.

Automated Game Generation

Another application of constraint programming I am interested in is automated game generation.

Software Engineering

While I have done relatively little research in software engineering, I do a lot of programming. I am on the C++ standards committee, and have written various pieces of software, including an iPhone game (Direct iTunes link). I am continuing to do research into combining computer games and CP.

Please contact me if you are interested in a PhD in any of these areas!