My current interests include:
- Tractability of constraint satisfaction problems and problems defined by fragments of second-order logic.
- Natural parameterisations of Ladner languages.
- Efficient algorithms to find independent sets, for various classes of graphs.
- Applications of constraint techniques in finance.
I am a third year DPhil student and a member of the Constraints Research Group, working under the supervision of Peter Jeavons on transformations of representation in constraint satisfaction. This area features interaction between techniques from graph theory, finite model theory, and descriptive complexity, applied to the theory of constraint satisfaction problems which do not have a fixed signature.
