Dr Ozgur Akgun
Potential supervision topics
I am specifically interested in the following research projects. - Constraint programming and solution sampling - Solving problems in General Choice Modelling using constraint programming - Understanding the limits of traditional data linkage methods (through algorithm configuration) See my research interests and recent publications on my profile page: https://www.st-andrews.ac.uk/computer-science/people/oa86 See my personal website for more information as well: https://ozgurakgun.github.io
Contact
Email: ozgur.akgun@st-andrews.ac.uk
Dr Oggie Arandelovic
Potential supervision topics
Computer vision; machine learning; pattern recognition; data mining; big data analysis; health informatics; statistics; clinical trial design and analysis; information retrieval; mathematical modelling; image processing
Contact
Email: oa7@st-andrews.ac.uk
Dr Dharini Balasubramaniam
Potential supervision topics
Software architecture; uncertainty in software models; software ethics; software artefact consistency management; software development methodologies; software and business processes; digital literacy
Contact
Email: dharini@st-andrews.ac.uk
Prof Adam Barker
Potential supervision topics
Distributed systems; systems research; cloud computing; cluster computing; infrastructure; big data; applied machine learning
Contact
Email: adam.barker@st-andrews.ac.uk
Prof Saleem Bhatti
Potential supervision topics
Internet architecture (specifically ILNP); Networked and computer communication systems, architectures, protocols and applications; Mobile and wireless systems; Energy in computer systems; Mobile health (mHealth); Security and privacy in networked systems; Communications systems for development; Performance analysis; Testbeds and empirical/data-driven systems research; Network control plane; Network management and resource management.
Contact
Email: saleem@st-andrews.ac.uk
Prof Juliana Bowles
Potential supervision topics
Formal methods and verification; model checking; constraint solvers; temporal logics (stochastic, distributed, etc); concurrency; dependability; NLP in healthcare; modelling in healthcare; health informatics; evidence-based clinical decision support systems; global health
Contact
Email: jkfb@st-andrews.ac.uk
Dr Edwin Brady
Potential supervision topics
Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types
Contact
Email: ecb10@st-andrews.ac.uk
Dr Christopher Brown
Potential supervision topics
Programming languages; refactoring; semantics; programming transformation; energy analysis; parallel programming; heterogeneous computing
Contact
Email: cmb21@st-andrews.ac.uk
Dr Loraine Clarke
Potential supervision topics
Design Research and Human Computer Interaction relating to: tangible physical interaction, social interaction, shape changing interfaces, Data Physicalisation, museum and cultural heritage user experiences, participatory design and design beyond humans for more sustainable futures.
Contact
Email: lec24@st-andrews.ac.uk
Prof Richard Connor
Potential supervision topics
Many topics in approximate search and locality sensitivity - best talk to me first!
Contact
Email: rchc@st-andrews.ac.uk
Dr Nguyen Dang
Potential supervision topics
machine learning and deep reinforcement learning for automated algorithm design, constraint programming, combinatorial optimisation.
Contact
Email: nttd@st-andrews.ac.uk
Prof Alan Dearle
Potential supervision topics
Metric search; metric indexing; data linkage; genealogical population reconstruction; synthetic population generation; operating systems; unikernel operating systems
Contact
Email: alan.dearle@st-andrews.ac.uk
Prof Simon Dobson
Potential supervision topics
complex systems; large-scale simulation; computational science; sensor networks; data analytics; network science
Contact
Email: Simon.Dobson@st-andrews.ac.uk
Dr Joan Espasa Arxer
Potential supervision topics
Boolean Satisfiability (SAT); Satisfiability Modulo Theories (SMT); Classical and Numeric AI Planning; Planning as Satisfiability; Constraint Programming; Automated reformulation of models; Formal Languages and their expressivity; Applications of Logic to Computer Science
Contact
Email: jea20@st-andrews.ac.uk
Dr Lei Fang
Potential supervision topics
Bayesian machine learning, Bayesian nonparametrics, statistical learning, uncertainty reasoning, transfer learning, wireless sensor networks
Contact
Email: lf28@st-andrews.ac.uk
Dr Rosa Filgueira
Potential supervision topics
Distributed Systems, Data-Streaming Optimizations, Serverless Computing, Adaptive Communication Techniques, Intelligent Advisory Systems for Scientific Software, Text Mining and NLP techniques in Digital Humanities, Static Code Analysis
Contact
Email: rf208@st-andrews.ac.uk
Prof Ian Gent
Potential supervision topics
Constraint satisfaction, Puzzle Games, Patience/Solitaire Solving, Recreational AI
Contact
Email: Ian.Gent@st-andrews.ac.uk
Dr David Harris-Birtill
Potential supervision topics
Medical technology; image analysis; signal processing; ambient sensing; medical imaging; remote pulse oximetry; photoacoustics; photothermal therapy; machine learning.
Contact
Email: dcchb@st-andrews.ac.uk
Dr Tristan Henderson
Potential supervision topics
I am broadly interested in supervising students in the areas of privacy, law and technology, digital rights, data protection or similar. I am happy to supervise interdisciplinary projects if possible (this may depend on finding suitable expertise in other Schools in the University or elsewhere). See my personal website for further information: https://tnhh.org/research/
Contact
Email: tnhh@st-andrews.ac.uk
Dr Ruth Hoffmann
Potential supervision topics
Discrete Mathematics, Algorithms, Computational Group Theory, Computational Graph Theory, Combinatorics, Permutation Patterns, Artificial Intelligence (AI)
Contact
Email: rh347@st-andrews.ac.uk
Dr Jason Jacques
Potential supervision topics
Crowdsourcing, digital economy, online communities, sustainability.
Contact
Email: jtj2@st-andrews.ac.uk
Prof Christopher Jefferson
Potential supervision topics
Game AI, Constraint Programming, Computational Group Theory, Search
Contact
Email: caj21@st-andrews.ac.uk
Prof Graham Kirby
Potential supervision topics
Distributed systems; record linkage; historical records; population reconstruction; synthetic data generation
Contact
Email: graham.kirby@st-andrews.ac.uk
Dr Olexandr Konovalov
Potential supervision topics
Projects in the remit of the Research Software Group (see https://rse.cs.st-andrews.ac.uk/), in particular studies of research software development practices.
Contact
Email: obk1@st-andrews.ac.uk
Dr Areti Manataki
Potential supervision topics
Health Informatics; Artificial Intelligence; health data science, process mining and modelling, data visualisation; learning analytics; computing and data science education; intelligent systems
Contact
Email: A.Manataki@st-andrews.ac.uk
Prof Ian Miguel
Potential supervision topics
Artificial intelligence (ai); decision-making and optimisation; combinational search; constraint modelling and solving; propositional satisfiability (sat)
Contact
Email: ijm@st-andrews.ac.uk
Dr Alan Miller
Potential supervision topics
Digital preservation and promotion of natural and cultural heritage Immersive and mobile engagement with cultural and natural heritage The role of digital heritage in response to COVID 19 Museum at Home
Contact
Email: alan.miller@st-andrews.ac.uk
Dr Mark Nederhof
Potential supervision topics
Computational linguistics; formal language theory; writing systems
Contact
Email: mn31@st-andrews.ac.uk
Prof Susmit Sarkar
Potential supervision topics
Shared memory concurrency; verification; parallelism; programming languages; compilers; static analysis; hardware architecture design; memory consistency models
Contact
Email: Susmit.Sarkar@st-andrews.ac.uk
Dr Tom Spink
Potential supervision topics
JIT-Compilation-as-a-Service, Cross-architecture Virtual Machine Hypervisor, IoT Virtualisation, Unikernels, Distributed virtualisation, Operating Systems
Contact
Email: tcs6@st-andrews.ac.uk
Dr Kasim Terzic
Potential supervision topics
Computer vision; scene understanding; machine learning; cognitive robotics, artificial intelligence (AI)
Contact
Email: kt54@st-andrews.ac.uk
Dr Alice Toniolo
Potential supervision topics
Artificial intelligence; argumentation; reasoning; dialogue; deliberation; multi-agent systems; human-agent interaction; provenance; planning; norms.
Contact
Email: a.toniolo@st-andrews.ac.uk
Dr Blesson Varghese
Potential supervision topics
Distributed systems; Cloud/Edge computing; Distributed machine learning; Computer systems
Contact
Email: blesson@st-andrews.ac.uk
Dr Juan Ye
Potential supervision topics
Human activity recognition; sensor data analysis, smart environments; context awareness; uncertainty reasoning; temporal reasoning; ontologies; mobile computing; wearable assistive technologies; multi-sensory integration
Contact
Email: jy31@st-andrews.ac.uk