Counting Is HardCounting Is HardThis is the academic web page for Ian Price, a PhD candidate in Computer Science at Swansea University. My interests include automata theory, functional programming, programming languages and category theory. I'm a theoretician, which is a fancy way of saying I do more maths than programming.
My supervisor is Cécilia Pradic.
The name of this website is only sort of a joke. In another life, with other PhD funding, maybe I do combinatorics instead of logic. The logo of this website is OEIS sequence A000545 which counts the number of ways to colour a dodecahedron with n colours.