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@ed.ac.uk |
Distributed systems, operating systems, “Big Data” systems/cloud computing, and storage systems |
|
christophe.dubach@ed.ac.uk |
Adaptive software and hardware for energy-efficient computing |
|
bfranke@inf.ed.ac.uk |
Advanced automatic parallelisation, code generation for embedded processors, dynamic binary translation, statistical performance estimation |
|
boris.grot@ed.ac.uk |
Processor architectures, memory systems, and interconnection networks for big-data computing |
|
hleather@inf.ed.ac.uk |
Machine learning based optimizing compilation, energy optimization space exploration |
|
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@ed.ac.uk |
Wireless and mobile networking, performance evaluation, distributed systems and algorithms |
|
vnagaraj@inf.ed.ac.uk |
Parallel architectures: enhancing programmability and performance. Memory consistency, cache coherence and synchronization for scalable parallel architectures |
|
mob@inf.ed.ac.uk |
Machine learning based optimisation. Heterogeneous and GPGPU multi-core platforms |
|
ppatras@inf.ed.ac.uk |
Performance optimisation in wireless networks, network protocols and architectures, mobile traffic analytics, security and privacy, prototyping and test beds |
|
rsarkar@inf.ed.ac.uk |
Distributed computing, Algorithms, Network protocols, Mobile and sensor networks |
|
npt@staffmail.ed.ac.uk |
Design and analysis of high-performance computing systems, architecture simulation |
Programming Languages and Software
Name | Research interests | |
---|---|---|
|
david.aspinall@ed.ac.uk |
Security and safety of concurrent code. Formal verification of language memory models. Program analysis of software frameworks providing concurrency. |
|
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 |
|
mic@inf.ed.ac.uk |
Parallel programming models, skeletons and patterns |
|
wenfei@inf.ed.ac.uk |
Parallel query engines for big relations, parallelization of graph computations, and the theory of parallel scalability |
|
arajan@inf.ed.ac.uk |
Complexity metrics, coverage metrics, slicing and analysis of concurrent programs. Software Testing using GPUs |
|
dts@inf.ed.ac.uk |
Security via proof-carrying code, mobility and security, algebraic specification, foundations of formal software development |
|
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@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 |
|
sviglas@inf.ed.ac.uk |
Database systems, code generation, parallel and distributed processing, storage |
|
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 | Research interests | |
---|---|---|
|
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@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 |
|
jcb@inf.ed.ac.uk |
Modal and temporal logics, model-checking, concurrency |
|
A.Bundy@ed.ac.uk |
Inductive proof, reasoning about software and hardware, the interaction of representation and reasoning |
|
vdanos@inf.ed.ac.uk |
Scaleable domain specific modeling and programming languages, mostly, but not only, for systems and synthetic biology |
|
kousha@inf.ed.ac.uk |
Automated verification, model checking, analysis of probabilistic systems, infinite-state systems, algorithmic game theory, computational complexity |
|
jdf@inf.ed.ac.uk |
Theorem proving, interactive and automatic proofs |
|
Vashti.Galpin@ed.ac.uk |
Quantitative process algebras, modelling of dynamic systems and meta-theory of process algebras |
|
chris.heunen@ed.ac.uk |
Formal models for concurrent and quantum programming. Applications of quantum logic to process calculus |
|
jane.hillston@ed.ac.uk |
Formal performance modelling to assess efficient use of resources and timeliness of response in dynamic concurrent systems |
|
Paul.Jackson@ed.ac.uk |
Mechanical theorem proving, reactive systems, linear temporal logic |
|
ekashefi@inf.ed.ac.uk |
Parallel quantum algorithms and quantum parallelisation techniques, Quantum depth complexity and Circuit optimisation |
|
libkin@inf.ed.ac.uk |
Modelling and querying relational, XML, and graph data, data interoperability, incomplete information |
|
rmayr@exseed.ed.ac.uk |
Automated verification, temporal logic, formal verification of parallel real-time systems |
|
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 |
|
rcs@inf.ed.ac.uk |
Theoretical-cognitive aspects. Universals, dealing with architectures to allow an approach to the issue of completeness in a domain |
|
A.Smaill@ed.ed.ac.uk |
Constructive logics and non-realist semantics; theorem proving in relation to programming |
|
cps@inf.ed.ac.uk |
Models of concurrent computation, modal and temporal logics, verification |
|
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 | Research interests | |
---|---|---|
|
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@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 |
|
s.booth@epcc.ed.ac.uk |
Performance tuning, random number generators |
|
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 |
|
m.bull@epcc.ed.ac.uk |
Parallel algorithms and their efficient implementation; parallel programming models; benchmarking |
|
kheafiel@inf.ed.ac.uk |
Scalable high-quality natural language processing, the web as a corpus, approximate dynamic programming |
|
d.holmes@epcc.ed.ac.uk |
Enabling high-performance programming using high-productivity methods; implementation of highly scalable message passing |
|
tkomura@ed.ac.uk |
Computer graphics and animation, massive character and crowd animation, large-scale geometry / volume processing |
|
alopez@exseed.ed.ac.uk |
GPGPU algorithms for natural language processing |
|
m.parsons@epcc.ed.ac.uk |
Highly distributed data intensive computing, novel hardware design |
|
g.pringle@epcc.ed.ac.uk |
Applications of High Performance Computing in CFD and Astrophysics |
|
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 |
|
rsennric@inf.ed.ac.uk |
Large scale natural language processing |
|
l.smith@epcc.ed.ac.uk |
Novel programming models for future HPC architectures. Preparing scientific applications for future exascale platforms |
|
sethu.vijayakumar@ed.ac.uk |
Realtime Sensing, Control and Planning for Autonomous Robotic Systems; Online Learning and Adaptation in High Dimension; Embedded Sensorimotor Control |
|
M.Weiland@epcc.ed.ac.uk |
Energy efficient HPC; novel parallel programming models |