Supervisors

Our supervisors have interests spanning the pervasive parallelism spectrum.

Supervisors are grouped here loosely by area, but many have interests spanning many topics, so please read all sections! We strongly recommend that you make contact with potential supervisors when preparing your application.

Architecture, Networks, Compilation & Systems

Pramod Bhatotia

Pramod Bhatotia

Pramod.Bhatotia@ed.ac.uk

Distributed systems, operating systems, “Big Data” systems/cloud computing, and storage systems
Christophe Dubach

Christophe Dubach

christophe.dubach@ed.ac.uk

Adaptive software and hardware for energy-efficient computing
Björn Franke

Björn Franke

bfranke@inf.ed.ac.uk

Advanced automatic parallelisation, code generation for embedded processors, dynamic binary translation, statistical performance estimation
Boris Grot

Boris Grot 

boris.grot@ed.ac.uk

Processor architectures, memory systems, and interconnection networks for big-data computing
Hugh Leather

Hugh Leather

hleather@inf.ed.ac.uk

Machine learning based optimizing compilation, energy optimization space exploration
Myungjin Lee

Myungjin Lee

myungjin.lee@ed.ac.uk

Computer networks: software-defined networking and its applications, data centre networking, measurement architectures, cloud computing and networked application characterisation
Mahesh Marina

Mahesh Marina 

mahesh@ed.ac.uk

Wireless and mobile networking, performance evaluation, distributed systems and algorithms
Vijay Nagarajan

Vijay Nagarajan

vnagaraj@inf.ed.ac.uk

Parallel architectures: enhancing programmability and performance. Memory consistency, cache coherence and synchronization for scalable parallel architectures
Mike O’Boyle

Mike O’Boyle

mob@inf.ed.ac.uk

Machine learning based optimisation. Heterogeneous and GPGPU multi-core platforms
Paul Patras

Paul Patras

ppatras@inf.ed.ac.uk

Performance optimisation in wireless networks, network protocols and architectures, mobile traffic analytics, security and privacy, prototyping and test beds
Rik Sarkar

Rik Sarkar

rsarkar@inf.ed.ac.uk

Distributed computing, Algorithms, Network protocols, Mobile and sensor networks
Nigel Topham

Nigel Topham

npt@staffmail.ed.ac.uk

Design and analysis of high-performance computing systems, architecture simulation

 

Programming Languages and Software

Name Email Research interests
David Aspinall

David Aspinall

david.aspinall@ed.ac.uk

Security and safety of concurrent code. Formal verification of language memory models. Program analysis of software frameworks providing concurrency.
James Cheney

James Cheney

jcheney@inf.ed.ac.uk

Databases and programming languages; functional language design for data-parallel or data-intensive programming; provenance and reproducibility for validation of scientific computation
Murray Cole

Murray Cole

mic@inf.ed.ac.uk

Parallel programming models, skeletons and patterns
Wenfei Fan

Wenfei Fan

wenfei@inf.ed.ac.uk

Parallel query engines for big relations, parallelization of graph computations, and the theory of parallel scalability
Ajitha Rajan

Ajitha Rajan

arajan@inf.ed.ac.uk

Complexity metrics, coverage metrics, slicing and analysis of concurrent programs. Software Testing using GPUs
Don Sannella

Don Sannella

dts@inf.ed.ac.uk

Security via proof-carrying code, mobility and security, algebraic specification, foundations of formal software development
Ian Stark

Ian Stark

Ian.Stark@ed.ac.uk

Mathematical models for programming languages and parallel interaction within concurrent systems: verifying embedded microcontrollers, securing mobile code, analysing biomolecular reactions
Perdita Stevens

Perdita Stevens

perdita@inf.ed.ac.uk

Mathematics of software engineering, especially model-driven development. For example, Stevens works on properties of bidirectional transformations, which maintain consistency between changing information sources
Stratis Viglas

Stratis Viglas

sviglas@inf.ed.ac.uk

Database systems, code generation, parallel and distributed processing, storage
Philip Wadler

Philip Wadler

wadler@inf.ed.ac.uk

Programming languages, functional programming, web programming, smart contracts for cryptocurrencies, session types, A Basis for Concurrency and Distribution (ABCD)

 

Modelling, Proof and Concurrency Theory

Name Email Research interests
Myrto Arapinis

Myrto Arapinis

marapini@inf.ed.ac.uk

Verification of cryptographic protocols: verification of security properties, detection of attacks, formal models, protocol composition. Privacy in mobile telephony systems, electronic voting, statistical databases. Automatic deduction: resolution, rewritting, process algebra
Vaishak Belle

Vaishak Belle

vaishak@ed.ac.uk

Unifying symbolic systems and machine learning, distributed reasoning and distributed machine learning, planning and synthesis in multi-agent systems and their applications
Julian Bradfield

Julian Bradfield 

jcb@inf.ed.ac.uk

Modal and temporal logics, model-checking, concurrency
Alan Bundy

Alan Bundy

A.Bundy@ed.ac.uk

Inductive proof, reasoning about software and hardware, the interaction of representation and reasoning
Vincent Danos

Vincent Danos

vdanos@inf.ed.ac.uk

Scaleable domain specific modeling and programming languages, mostly, but not only, for systems and synthetic biology
Kousha Etessami

Kousha Etessami

kousha@inf.ed.ac.uk

Automated verification, model checking, analysis of probabilistic systems, infinite-state systems, algorithmic game theory, computational complexity
Jacques Fleuriot

Jacques Fleuriot

jdf@inf.ed.ac.uk

Theorem proving, interactive and automatic proofs
Vashti Galpin

Vashti Galpin

Vashti.Galpin@ed.ac.uk

Quantitative process algebras, modelling of dynamic systems and meta-theory of process algebras
Chris Heunen

Chris Heunen

chris.heunen@ed.ac.uk

Formal models for concurrent and quantum programming. Applications of quantum logic to process calculus
Jane Hillston

Jane Hillston

jane.hillston@ed.ac.uk

Formal performance modelling to assess efficient use of resources and timeliness of response in dynamic concurrent systems
Paul Jackson

Paul Jackson

Paul.Jackson@ed.ac.uk

Mechanical theorem proving, reactive systems, linear temporal logic
Elham Kashefi

Elham Kashefi

ekashefi@inf.ed.ac.uk

Parallel quantum algorithms and quantum parallelisation techniques, Quantum depth complexity and Circuit optimisation
Leonid Libkin

Leonid Libkin

libkin@inf.ed.ac.uk

Modelling and querying relational, XML, and graph data, data interoperability, incomplete information
Richard Mayr

Richard Mayr

rmayr@exseed.ed.ac.uk

Automated verification, temporal logic, formal verification of parallel real-time systems
Michael Rovatsos

Michael Rovatsos

mrovatso@inf.ed.ac.uk

Distributed and decentralised intelligent systems, automated decomposition and synthesis of complex workflows, especially in knowledge sharing and social computation applications. Using AI and multiagent systems techniques for managing complex systems infrastructures
Richard Shillcock

Richard Shillcock

rcs@inf.ed.ac.uk

Theoretical-cognitive aspects. Universals, dealing with architectures to allow an approach to the issue of completeness in a domain
Alan Smaill

Alan Smaill

A.Smaill@ed.ed.ac.uk

Constructive logics and non-realist semantics; theorem proving in relation to programming
Colin Stirling

Colin Stirling

cps@inf.ed.ac.uk

Models of concurrent computation, modal and temporal logics, verification
Charles Sutton

Charles Sutton

csutton@inf.ed.ac.uk

Probabilistic modeling of large-scale computer systems, approximate inference, statistical processing of natural and programming languages

 

 

Applications and HPC

Name Email Research interests
Stefano V. Albrecht

Stefano V. Albrecht

s.albrecht@ed.ac.uk

Systems of independent autonomous agents that process observations and make decisions to achieve joint goals. Problems of inference, planning, and learning in such systems
Vaishak Belle

Vaishak Belle

vaishak@ed.ac.uk

Unifying symbolic systems and machine learning, distributed reasoning and distributed machine learning, planning and synthesis in multi-agent systems and their applications
Stephen Booth

Stephen Booth

s.booth@epcc.ed.ac.uk

Performance tuning, random number generators
Nick Brown

Nick Brown

n.brown@epcc.ed.ac.uk

Novel programming language design for writing efficient and manageable parallel codes, runtime systems to support existing programming technologies & codes, and parallel algorithm development including the efficient use of accelerators
Mark Bull

Mark Bull

m.bull@epcc.ed.ac.uk

Parallel algorithms and their efficient implementation; parallel programming models; benchmarking
Kenneth Heafield

Kenneth Heafield

kheafiel@inf.ed.ac.uk

Scalable high-quality natural language processing, the web as a corpus, approximate dynamic programming
Daniel Holmes

Daniel Holmes

d.holmes@epcc.ed.ac.uk

Enabling high-performance programming using high-productivity methods; implementation of highly scalable message passing
Taku Komura

Taku Komura

tkomura@ed.ac.uk

Computer graphics and animation, massive character and crowd animation, large-scale geometry / volume processing
Adam Lopez

Adam Lopez

alopez@exseed.ed.ac.uk

GPGPU algorithms for natural language processing
Mark Parsons

Mark Parsons

m.parsons@epcc.ed.ac.uk

Highly distributed data intensive computing, novel hardware design
Gavin Pringle

Gavin Pringle

g.pringle@epcc.ed.ac.uk

Applications of High Performance Computing in CFD and Astrophysics
Subramanian Ramamoorthy

Subramanian Ramamoorthy

s.ramamoorthy@ed.ac.uk

Learning and decision making in robots and autonomous systems, Decentralized autonomous systems and human-machine interactive systems, Context-awareness in wearable, mobile and sensor network systems
Rico Sennrich

Rico Sennrich

rsennric@inf.ed.ac.uk

Large scale natural language processing
Lorna Smith

Lorna Smith

l.smith@epcc.ed.ac.uk

Novel programming models for future HPC architectures. Preparing scientific applications for future exascale platforms
Sethu Vijayakumar

Sethu Vijayakumar

sethu.vijayakumar@ed.ac.uk

Realtime Sensing, Control and Planning for Autonomous Robotic Systems; Online Learning and Adaptation in High Dimension; Embedded Sensorimotor Control
Michele Weiland

Michele Weiland

M.Weiland@epcc.ed.ac.uk

Energy efficient HPC; novel parallel programming models