Dr Ozgur Akgun

Potential supervision topics

Artificial intelligence (AI); constraint satisfaction; high-level modelling languages; data mining through optimisation

Contact

Email: ozgur.akgun@st-andrews.ac.uk


Dr Ozgur Akgun

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 Oggie Arandelovic

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; domain-specific languages

Contact

Email: dharini@st-andrews.ac.uk


Dr Dharini Balasubramaniam

Prof Adam Barker

Potential supervision topics

Large-scale distributed systems; systems research; cloud computing; cluster computing; infrastructure; big data

Contact

Email: adam.barker@st-andrews.ac.uk


Prof Adam Barker

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 Saleem Bhatti

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


Prof Juliana Bowles

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 Edwin Brady

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 Christopher Brown

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


Dr Loraine Clarke

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 Alan Dearle

Prof Simon Dobson

Potential supervision topics

Complex systems; complex networks; network processes; data analytics

Contact

Email: Simon.Dobson@st-andrews.ac.uk


Prof Simon Dobson

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 Joan Espasa Arxer

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 Lei Fang

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


Dr Rosa Filgueira

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 David Harris-Birtill

Dr Tristan Henderson

Potential supervision topics

Privacy; data ethics; data protection; law and technology; human-data interaction (HDI); online social networks; reproducible and responsible research

Contact

Email: tnhh@st-andrews.ac.uk


Dr Tristan Henderson

Dr Ruth Hoffmann

Potential supervision topics

Artificial Intelligence (AI), Computational Group Theory, Computational Graph Theory, Combinatorics, Permutation Patterns

Contact

Email: rh347@st-andrews.ac.uk


Dr Ruth Hoffmann

Dr Jason Jacques

Potential supervision topics

Crowdsourcing, digital economy, online communities, sustainability.

Contact

Email: jtj2@st-andrews.ac.uk


Dr Jason Jacques

Prof Christopher Jefferson

Potential supervision topics

Game AI, Constraint Programming, Computational Group Theory, Search

Contact

Email: caj21@st-andrews.ac.uk


Prof Tom Kelsey

Potential supervision topics

Modeling; biomedicine; data science; late effect; machine learning

Contact

Email: twk@st-andrews.ac.uk


Prof Tom Kelsey

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


Prof Graham Kirby

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 Olexandr  Konovalov

Dr Areti Manataki

Potential supervision topics

Artificial intelligence (ai); data science; health informatics; modelling in healthcare; health data inferences; evidence-based clinical decision support systems; intelligent systems

Contact

Email: A.Manataki@st-andrews.ac.uk


Dr Areti Manataki

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


Prof Ian Miguel

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


Dr Mark Nederhof

Dr Susmit Sarkar

Potential supervision topics

Shared memory concurrency; verification; parallelism; programming languages, compilers; static analysis; hardware design; relaxed consistency models

Contact

Email: Susmit.Sarkar@st-andrews.ac.uk


Dr Susmit Sarkar

Dr Tom Spink

Potential supervision topics

JIT-Compilation-as-a-Service, Cross-architecture Virtual Machine Hypervisor, IoT Virtualisation

Contact

Email: tcs6@st-andrews.ac.uk


Dr Tom Spink

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 Kasim Terzic

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 Alice Toniolo

Dr Blesson Varghese

Potential supervision topics

Distributed systems; Cloud/Edge computing; Machine learning; Computer systems

Contact

Email: blesson@st-andrews.ac.uk


Dr Blesson Varghese

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


Dr Juan Ye