I'm looking for PhD students.

I'm happy to supervise project in most areas of computer science as long as they are technical / formal, and can be connected somehow to my research areas (formal methods, parallel computing, security, meta-programming, algorithms and data structures, logic, verification, programming languages, compilers, types, machine learning etc etc). If you want to do a PhD with me, you'll need one of the following:

If you are good at maths, but don't know programming, that's fine, you can do a purely theoretical project, or I'll teach you programming (programming is easy: programming and doing maths are rather similar). If you are good at programming, but not at maths, that's fine too, you can do research that requires programming only. (Or you can brush up on your maths -- but that's not required.)

I do not supervise projects that involve neither programming nor maths.

If you wonder whether you qualify as good as programming or good at maths, here are some heuristics that I apply when evaluating applicants.

I don't care what your undergraduate degree is in, as long as you can do technical work.

I'm delighted to receive applications from mature students, and students that have industrial experience.

In case of doubt, just ask!