Name:	Dr CA Jefferson
Organisation:	University of St Andrews
Department:	Computer Science
Current EPSRC-Supported Research Topics:	Fundamentals of Computing Logic & Combinatorics

Current EPSRC Support

EP/P026842/1 Modelling and Optimisation with Graphs (C) EP/P015638/1 A Constraint Modelling Pipeline (C)

Previous EPSRC Support

EP/M003728/1 EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification (P)

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