- Research
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC: £187,510
1/10/07 → 1/10/10
Project: Research
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research: £123,539
1/02/11 → 31/01/13
Project: Research
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC: £184,409
1/10/05 → 30/09/08
Project: Research
Transatlantic Perspectives on the Use of Data Science in Museums and Heritage
Platts, H., Dalton, P., Howard, D. & Watkins, C.
Arts & Humanities Res Coun AHRC: £42,515
1/02/19 → 30/06/20
Project: Research
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
Centre for Defense Enterprise: £69,565
28/11/11 → 27/05/12
Project: Research
Type-theoretic foundation of mathematical pluralism
Leverhulme Trust: £56,235
1/10/06 → 30/09/09
Project: Research
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC: £6,700
1/10/12 → 31/12/12
Project: Research
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC: £469,677
1/05/13 → 30/04/18
Project: Research
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC: £313,577
6/01/20 → 30/09/22
Project: Research
VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls
Innovate UK: £328,462
1/11/21 → 31/10/23
Project: Research