- Phone+44 (0)1334 463270
- Emailjea20st-andrews.acuk
KY16 9SS
United Kingdom
Accepting Postgraduate Research Students
PhD projects
Boolean Satisfiability (SAT);
Satisfiability Modulo Theories (SMT);
Classical and Numeric AI Planning;
Planning as Satisfiability;
Constraint Programming;
Automated reformulation of models;
Formal Languages and their expressivity;
Applications of Logic to Computer Science