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, logic, verification, programming languages, compilers, types, machine learning etc etc). If you want to do a PhD with me, you need at least one of the following:

If you are good at maths, but don't know programming, that's no problem, I'll teach you programming (programming and doing maths are rather similar). If you are good at programming, but not at maths, that's no problem either, 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 the heuristics that I apply when evaluating applicants.

In case of doubt, just ask!