EPSRC logo
Researcher Details
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