Logic and Computation Group: Students
The group has PhD students (nine at the start of 2007 with more
to start during the year) and also supervises Masters and Honours
students. From late November to early February each year, we
have a number of Summer Scholars, who pursue short supervised
projects in a research environment. From time to time we also host
visiting students including some from overseas universities.
Below is a list of current and recent PhD students and their thesis
topics. Follow the links to their home pages for more detail.
|
|
|
|
|
|
Pietro Abate
|
The Tableaux Workbench (TWB)
|
|
Asif Ali
|
Minimal relation algebras and semiassociative algebras
|
|
Aditi Barthwal
|
|
|
Agnes Boskovitz
|
Logical techniques for data cleansing
|
|
Jonathan Cohen
|
Substructural logics, category theory, topology
|
|
Rowan Martin-Hughes
|
Towards an Agent Society
|
|
Greg O'Keefe
|
Formal semantics and techniques for UML
|
|
Linda Postniece
|
Bi-intuitionistic logic
|
|
Revantha Ramanayake
|
Formalized Cut Elimination in Isabelle/HOL
|
|
Sajjad Siddiqi
|
Propositional satisfiability and model-based diagnosis
|
|
Michael Stevens
|
Unavoidable words
|
|
Florian Widmann
|
|
|
Cartoon by
G. Mathieu: "I still have one chance: that the
examiner gets squashed by a bus before 1:45."
|
