home
personal
research
publications
activities
teaching
people

 
Research interests:
My research focuses on representation and reasoning problems in AI, especially in constraint programming and scheduling. What does that mean in practice? For example, we're trying to improve the algorithms used to schedule in Sydney's traffic lights, based on running the signals in any safe order, and perhaps taking in new sensor information like queue lengths from cameras. As another example, we're working on how you might roster staff in, say, a hospital.

Research groups:
I am program leader of the Knowledge Representation and Reasoning program at NICTA, Australia and professor at the School of CSE in UNSW. I am external professor at Uppsala University. I am a member of the COMIC multi-site research group which brings together members of the COconut and the miMIC groups. You can read more in a short online biography.

Awards and Grants:
2002-2007, SFI principal investigator, "Sensitivity Analysis, Solution Stability and Uncertainty in Constraint Programming", Eur 1.5million (project pages)
2002-2003, EPSRC visiting fellowship (investigator), Applying HR to Zariski Spaces, £59k
2001-2004, EU Network of Excellence, CologNet (area coordinator), Automated Reasoning, £40k
2001-2003, EPSRC grant, Stochastic Constraint Programming, £105k
2000-2003, EPSRC grant, Automatic Generation of Implied Constraints, £245k
1999-2004, EPSRC Advanced Research Fellowship, £250k
1999-2002, EPSRC grant, Automatic Conjecture Making in Mathematics, £170k
1996-1999, EPSRC grant, Constrainedness of Computational Problems, £158k
1994-1996, HCM Marie-Curie PostDoc Fellowship, Trento, £70k
1993-1994, HCM Marie-Curie PostDoc Fellowship, Nancy, £35k
1992, Royal Society European Exchange Fellowship, £3k
1991, British Council/CNR award, £3k
1990-1992, SERC PostDoctoral Fellowship, £70k
1983-1986, Open Scholarship, Cambridge, £300