| |
Software Technology |
| |
- Dr Claire Willis
- Carina Murman (Research student)
- Trung Nguyen (Research student)
- Manpreet Babra (Research student)
|
| |
What we are doing |
| |
-
Software Engineering and Formal Methods
Software reuse (especially the application of machine learning techniques to
aid software reuse). Formal specification techniques. Application of formal
methods to safety-critical software development. Inheritance in object-oriented
languages.
-
Virtual Environments
Virtual reality, photorealistic rendering and
computer animation.
|
| |
What we have done |
| |
Publications and further information on
Dr Willis's web page.
Past PhDs include:
-
Tracy Gardner. "Inheritance Relationships for Disciplined
Software Construction", 2000. Received the BCS Distinguished
Dissertation Award in 2000 for this thesis.
-
Joy Lu. "Perceptually Realistic Flower Generation", 2001.
-
Igor Samoylenko. "Computer Animation of Deformable Bodies", 2003.
-
Robin Law. "Localisation for Virtual Environments", 2003.
|
| |
| |
|
