EPSRC logo
Researcher Details
 
Name: Professor IJ Miguel
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(P)
Previous EPSRC Support
EP/K015745/1 Working Together: Constraint Programming and Cloud Computing(P)
EP/H004092/1 A Constraint Solver Synthesiser(P)
EP/E030394/1 Watched Literals and Learning for Constraint Programming(C)
EP/D030145/1 Refinement-driven Transformation for Effective Automated Constraint Modelling(P)
EP/C523229/1 Multidisciplinary Critical Mass in Computational Algebra and Applications(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator