School of Computer Science and Engineering
University of New South Wales
Sensitivity Analysis, Solution Stability and Uncertainty in Constraint Programming:
SFI grant (2002-2007), 1.5 MEuro, principal investigator. Grant employs Brahim Hnich and soon a second postdoc and a number of PhD student (also known as the MIMIC project).
Automatic Generation of Implied Constraints:
EPSRC grant (2000-2003), £245k, principal investigator. Grant employs Ian Miguel as RA and Lyndon Drake as RS. (project pages)
Stochastic Constraint Programming:
EPSRC grant (2002-2004), £105k, principal investigator. Grant employs Armagan Tarim as RA. (project pages)
Automated Reasoning Area of CologNet:
EU Network of Excellence (2001-2004), area chair, £40k,
Automatic Conjecture Making in Mathematics:
EPSRC grant (1999-2002), £170k, co-investigator. Grant employs Simon Colton as RA.
Constrainedness of Computational Problems:
Otherwise known as phase transition behaviour. EPSRC grant (1996-1999), £158k, wrote grant and acted as RA. Ian P. Gent and Patrick Prosser acted as investigators. (project pages)
Home | Personal | Research | Publications | Projects | Meetings | Activities | Teaching | People | Links