|
| Name: |
Professor IJ Miguel |
| Organisation: |
University of St Andrews |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Fundamentals of Computing
|
|
Mathematical Aspects of OR
|
Software Engineering
|
|
| Current EPSRC Support |
|
| Previous EPSRC Support |
| EP/P015638/1 | A Constraint Modelling Pipeline | (P) |
| 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
|
| |
|
|
|
|