Barbara Smith - PhD Students

Current PhD Students

Past PhD Students

• Tien Ba Dinh was awarded his PhD in May 2007. He has since returned to Vietnam, where he is a lecturer at the University of Natural Sciences, Vietnam National University, in Ho Chi Minh City. Thesis title: Optimal Temporal Planning using the Plangraph Framework
• Karen Petrie graduated in 2005. Thesis title: Constraint Programming, Search and Symmetry. Karen has been awarded a Dorothy Hodgkin Fellowship by the Royal Society, to be held at the University of Oxford starting in October 2007.

The following students all successfully completed PhDs at the University of Leeds:

• Dan Black was awarded his PhD in 2003: thesis title Search in Weighted Constraint Satisfaction Problems. (Abstract) (Thesis)
• Colin Layfield (Thesis title: A Constraint Programming Pre-processor for Duty Scheduling) was awarded his PhD in 2002. After 7 years in the U.K., he returned to Canada in summer 2003, where he is working at Matrikon Inc.. (Abstract) (Thesis)
• Elias de Oliveira (Thesis title: Solving single-track railway scheduling problems by constraint programming ) was awarded his PhD in 2001. He has now returned to the Universidade Federal do Espirito Santo in Brazil. (Abstract) (Thesis)
• Alan Smith (Thesis title: Scheduling a Steelplant Using Constraint Programming) completed his PhD part-time, while working for Corus at Redcar, Teesside, and was awarded his PhD in 2000. (Abstract)
• Suniel Curtis (Thesis title: Constraint Satisfaction Approaches to Bus Driver Scheduling) was awarded his PhD in 2000. (Abstract) (Thesis)
• Stuart Grant completed a PhD on Phase transitions in Constraint Satisfaction Problems in 1997. He is now working in London. (Abstract) (Thesis)
• Dan Crow was awarded his PhD in 1996. After several years working for Apple in California, he is currently with Google. Thesis title: Comparing minimal knowledge and knowledge-based approaches to pattern recognition in the domain of user-computer interactions (Abstract)
• Mohammad Jamil Sawar was awarded his PhD in 1993 and subsequently returned to Pakistan. Thesis title: A learning apprentice system for medical decision support systems (Abstract)