Student Theses Projects
Faculty in the AI group all supervise student projects. We are happy
to supervise a range of AI projects, so please feel free to contact us. Below
is a list of projects that we are particularly interested in supervising.
- Chris Huyck
is interested in supervising an MSc or BSc thesis on categorising
web sites. This is in collaboration with the British Library, and
will make use of the text from the web sites, the subjects that
British Library curators have selected, and text mining
techniques.
-
Franco Raimondi, Chris Huyck, and
other faculty are interested in supervising analytics projects.
In particular
the Heritage Health Prize is an excellent domain for a
machine learning project.
-
Franco Raimondi is interested in supervising MSc or BSc
thesis on Model checking Java software using Java Path
Finder. Model checking is a logic-based method to perform
verification. Java Path Finder is a model checker developed by
NASA for the verification of Java code. It is a complex software
and many extensions are possible. I am currently involved in the
development of various plug-ins for Java Path Finder. A project
in this area is for you if you have a good experience of Java
Virtual Machines and are interested in working at low levels of
coding.
- Chris Huyck
is interested in supervising an MSc or BSc thesis on web site archiving
deduplication. This is in collaboration with the British Library, and
will make use of the text from the web sites at different times.
-
Franco Raimondi is interested in supervising MSc or BSc
thesis on Perfect recall, bounded recall, memory-less semantics
for epistemic logic. Epistemic logic is a logic used to reason
about what ideal agents know. There are a number of possible
assumptions that can be made: an agent remembers everything that
has been seen in the past (perfect recall), or just a limited
amount of information (bounded recall), or nothing at all. The
aim of projects in this area is to review the current literature
on the subject and make progress at the theoretical
level. Ideally, an implementation could follow the theoretical
work. This project is for you if you have a strong mathematical
background, especially in discrete Mathematics and logics.
Links to Supervisors' Project pages