Name:	Professor T Kelsey
Organisation:	University of St Andrews
Department:	Computer Science
Current EPSRC-Supported Research Topics:	Fundamentals of Computing Logic & Combinatorics

Current EPSRC Support

EP/P015638/1 A Constraint Modelling Pipeline (C)

Previous EPSRC Support

EP/H004092/1 A Constraint Solver Synthesiser (C) GR/S86037/01 Network: Symmetry and Search Network (R)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator