Our Students

Our Students


Our students research a wide range of topics related to parallel computing, heterogeneity, concurrency and distribution, as outlined below.

2014 Intake

Chris Cummins

Machine learning based compilation, dynamic autotuning.

Personal page │ E-mail: c.cummins @ ed.ac.uk
Primary supervisor: Hugh Leather
Simon Fowler

Design and implementation of concurrent programming languages. Actors, session types, functional programming, substructural type systems.

Personal page │ E-mail: simon.fowler @ ed.ac.uk
Primary supervisor:  Sam Lindley
Adam Harries_photoAdam Harries

Skeletal and functional parallel programming for graph theoretic and irregular algorithms using GPUs.

Personal page │ E-mail: adam.harries @ ed.ac.uk
Primary supervisor: Christophe Dubach
Stan Manilov

Looking into parallelization and compilation of legacy software to heretogeneous multi-core digital signal processors.

Personal page │ E-mail: s.z.manilov @ sms.ed.ac.uk
Sponsored by Cirrus Logic │ Primary supervisor: Björn Franke
Artemy Margaritov

Processor architectures for data centres: streaming and sharing microarchitecture state among cores executing the same workload.

E-mail: Artemy.Margaritov @ ed.ac.uk
Sponsored by ARM │ Primary supervisor: Boris Grot
Martin Rüfenacht

Scalable message passing and high performance computing.

Personal page │ E-mail: m.ruefenacht @ ed.ac.uk
Primary supervisor: Stephen Booth
Galini Tsoukaneri

I am interested in new generation cellular network technologies such as 4G, 5G and NarrowBand-IoT for efficient and secure Internet of Things (IoT) and Machine Type Communication (MTC) devices and applications.

E-mail: G.Tsoukaneri @ sms.ed.ac.uk
Primary supervisor: Mahesh Marina
Justs Zariņš

I’m interested in asynchronous algorithms for exascale supercomputers to achieve scalability and application-based fault tolerance.

Personal page │ E-mail: j.zarins @ ed.ac.uk
Primary supervisor: Michele Weiland

2015 Intake

Floyd Chitalu

Real-time physics-based simulations; Volumetric-mesh deformation and interaction using Finite Element Methods;  Computer Graphics; GPU computing.

Personal page │ E-mail: floyd.m.chitalu @ ed.ac.uk
Primary supervisor: Taku Komura

Philip Ginsbach

My research is on compiler based approaches to better utilize heterogeneous computing architectures.

E-mail: s1523501 @ sms.ed.ac.uk
Sponsored by: ARM │ Primary supervisor: Mike O’Boyle
D_HillerstroemDaniel Hillerström

Effect handlers, semantics and type systems for programming languages, compilers, and performance portable code compilation.

Personal page │ E-mail: daniel.hillerstrom @ ed.ac.uk
Primary supervisor: Sam Lindley
C_Laoide_KempCaoimhín Laoide-Kemp

My research interests involve the development of an alternative to the halo exchange communication pattern, using data streams in MPI.

E-mail: s1430015 @ sms.ed.ac.uk
Primary supervisor: Daniel Holmes
D_MillsDaniel Mills

My research is in quantum computing with a focus on quantum verification and quantum simulation. I hope to employ ideas about classical distributed systems and the interpretation of quantum parallelism as the ‘ultimate’ form of classical parallelism to make progress.

E-mail: s1577825 @ sms.ed.ac.uk
Primary supervisor: Elham Kashefi
P_PihoPaul Piho

Stochastic process algebras, quantitative modelling, Markov analysis, fluid approximations.

E-mail: s1106918 @ sms.ed.ac.uk
Primary supervisor: Jane Hillston
A_ShahabAmna Shahab

Investigating new memory system organizations for data centre servers to overcome the limitations of the existing designs in terms of performance, power and cost when dealing with data-intensive applications.

E-mail: Amna.Shahab @ ed.ac.uk
Sponsored by: Google │ Primary supervisor: Boris Grot
R_SinghRajkarn Singh

I am working towards the design of efficient next-generation mobile network architecture. I’m interested in exploiting the potential of machine learning and game theoretic approaches for improving efficiency of mobile networks.

E-mail: s1536594 @ sms.ed.ac.uk
Primary supervisor: Mahesh Marina
L_StoltzfusLarisa Stoltzfus

My research interests include: performance portability, parallel abstractions, HPC simulations, stencil optimisations and code generation / compiler technologies.

Personal Page | E-mail: s1147290 @ sms.ed.ac.uk
Primary supervisor: Christophe Dubach
chris-vasiladiotis_portraitChris Vasiladiotis

My current research interest is the automatic compiler parallelization of legacy software and its further promotion to structured parallel patterns, with a focus on loop level parallelism.

E-mail:  C.Vasiladiotis @ sms.ed.ac.uk
Primary supervisor: Björn Franke
V_Yaneva2Vanya Yaneva

I am interested in ways to increase the scope and performance of general purpose computing on the GPU in the context of software testing. I will be looking into ways to accelerate the execution of large application test suites using GPGPUs. I am also interested in parallel programming models and languages.

Personal Page | E-mail: vanya.yaneva @ ed.ac.uk
Primary supervisor: Ajitha Rajan
Jakub Zalewski

Gradual typing, session types, programming language design and implementation, functional programming, and concurrency.

E-mail: jakub.zalewski @ ed.ac.uk
Primary supervisor: Philip Wadler


2016 Intake

rodrigo-alternative-size-photoRodrigo Caetano de Oliveira Rocha

My main research interests include optimising compilers, parallel programming, energy-aware high performance computing and also applied machine learning.

Personal page │E-mail: r.rocha @ ed.ac.uk
Primary supervisor: Hugh Leather
ludovic-capelliLudovic Capelli

Leveraging behavioural types in existing languages to provide a mixed abstraction model of parallel codes.

Personal page │E-mail: l.capelli @ ed.ac.uk
Primary supervisor: Nick Brown
lewis_crawfordLewis Crawford

I am interested in graphics, animation, GPUs, and compilers. My research will look into the opportunities for improved parallelism and compiler optimisation in high-performance real-time graphics applications made available by next-generation graphics APIs such as Vulkan.

E-mail: s1203531 @ sms.ed.ac.uk
Primary supervisor: Mike O’Boyle
vasilis-gavrielatosVasilis Gavrielatos

Architecture support for persistent memory,
computer architecture, computer organization, memory systems,  interconnection networks.

E-mail: Vasilis.Gavrielatos @ ed.ac.uk
Sponsored by ARM │ Primary supervisor: Vijay Nagarajan
 rudihorn2Rudi Horn

Language/API development for type-safe and efficient access of curated scientific databases, as well as machine learning.

Personal Page │E-mail: r.horn @ ed.ac.uk
Primary supervisor: James Cheney
victor-ivanov_profileVictor Ivanov

My research is focused on improving the performance of embedded micro-architectures to achieve higher data rates while still operating in a low power envelope.

E-mail: victor.ivanov @ ed.ac.uk
Primary supervisor: Nigel Topham
antonis-katsarakisAntonis Katsarakis

My interests include Systems, Networking, Computer Architecture and Big Data. More precisely, my current research focuses on the identification of bottlenecks  and ways to improve efficiency and scalability in large scale systems.

Personal page  │E-mail: antonios.katsarakis @ ed.ac.uk
Sponsored by Microsoft Research │Primary Supervisor: Boris Grot
 Wen Kokke

My interests are in programming language design and implementation, focusing on concurrency, substructural and dependent types, and models of computation such as the λ- and π-calculi. In addition to that, I have a soft spot for natural language processing.

Personal Page | E-mail: wen.kokke @ ed.ac.uk
Primary Supervisor: Philip Wadler
 paulmetzgerPaul Metzger

My research interests focus on parallel programming models and the optimization of parallel programs and systems.
I work on how parallel programs can adapt at run time to changes in the systems on which these programs run.

E-mail: s1576303 @ sms.ed.ac.uk
Primary Supervisor: Murray Cole
naumsmogersNaums Mogers

Compilation with machine learning-driven automatic parallelization targeting heterogeneous multi-core platforms such as CPUs, GPUs and FPGAs.

Personal page  │E-mail: naums.mogers @ ed.ac.uk
Primary Supervisor: Christophe Dubach
a-better-me_federicoFederico Pizzuti

My interests are in compiler technology and functional programming languages, especially on how to use functional patterns to express parallelism in a high level and platform independent way.

E-mail: s1580329 @ sms.ed.ac.uk
Primary Supervisor: Christophe Dubach
 thomaswrightThomas Wright

I’m interested in techniques to formally model and understand the parallel systems which surround us. I am working on process algebra, an area which attempts to provide ways to express the key features of concurrency, both in concurrent programming languages, and in nature, where parallelism is a key component of all life. Specifically, I am working on the continuous pi-calculus, a process algebra for modelling biochemical systems.

E-mail: t.d.wright @ sms.ed.ac.uk
Primary Supervisor: Ian Stark

2017 Intake

Pablo Andres Martinez

Quantum computer science, models of computation, programming languages and compilers. My current research project is on the development of a framework for programming in distributed quantum computers.

E-mail: P.Andres-Martinez @ sms.ed.ac.uk
Primary supervisor: Chris Heunen
Maximiliana Behnke

Large-scale deep learning methods applied to machine translation. Training optimisation on GPUs. Interested in natural language processing, machine learning, information retrieval and data mining.

Personal page | E-mail: Maximiliana.Behnke @ ed.ac.uk
Primary supervisor: Kenneth Heafield
Mattia Bradascio

My research area is Performance modelling of Blockchain Systems.

Personal page  | E-mail: s1669945 @ sms.ed.ac.uk
Primary supervisor: Jane Hillston
Bruce Collie
Program analysis for automatic parallelisation and improvements to software development tools.
E-mail: Bruce.Collie @ ed.ac.uk
Primary supervisor: Mike O’Boyle
Brian Coyle

My research is in the area of quantum information, particularly verification and certification of quantum protocols and algorithms.

E-mail: brian.coyle @ ed.ac.uk
Primary supervisor: Elham Kashefi
Martin Kristien

Working on efficient simulation of multi-core architectures in the context of OS. Also interested in compilers and automatic hardware generation for heterogeneous systems.

E-mail: s1343145 @ sms.ed.ac.uk
Sponsored by Synopsis | Primary Supervisor: Nigel Topham
Margus Lind

My main interests are security and privacy. Currently, my work is focused on the Bluetooth Classic and Bluetooth Low Energy protocols and applications.

Personal page | E-mail: Margus.Lind @ ed.ac.uk
Primary supervisor: Paul Patras
Aleksandr Maramzin

I am interested in compiler technology (both static and dynamic) and its applications like instruction set simulators, parallelism discovery and its mapping onto diverse heterogeneous hardware resources.

E-mail: s1736883 @ sms.ed.ac.uk
Primary supervisor: Björn Franke
Nicolai Oswald

Design automation, mathematical modelling, optimization and verification of parallel architectures, interconnection networks, and memory systems with focus on cache coherence and memory consistency.

E-mail: nicolai.oswald @ ed.ac.uk
Primary supervisor: Vijay Nagarajan
Jack Turner

Intelligent selection of compiler optimisations for machine learning models given specific knowledge about the target architecture.
E-mail: Jack.Turner @ ed.ac.uk
Primary supervisor: Mike O’Boyle

Affiliated Students

stefan-fehrenbachStefan Fehrenbach

I work on language-integrated data provenance and on compiling query languages to distributed, parallel execution.

Personal page │ E-mail: stefan.fehrenbach @ ed.ac.uk
Primary supervisor: James Cheney
Arpit Joshi

Processor architectures and micro-architecture, cache coherence, memory systems, and interconnection networks.

Personal page │ E-mail: arpit.joshi @ ed.ac.uk
Sponsored by Intel │ Primary supervisor: Vijay Nagarajan
ludovicaLudovica Luisa Vassat

Formal languages for stochastic models, Spatio-temporal logics, Model checking techniques, Spatial modelling in ecology.

Personal page │ Email:  L.Luisa-Vissat @ ed.ac.uk
Sponsored by Microsoft Research │ Primary supervisor: Jane Hillston
Valentin Radu

My research expands the area of pervasive mobile sensing with techniques from robotics and machine learning to infer user contexts.

Personal page │ E-mail: valentin.radu @ ed.ac.uk
Sponsored by Cisco │ Primary supervisor: Mahesh Marina
Mingcan Zhumingcan-zhu

Memory systems for data centres, Processor architecture and micro-architecture.

Personal page │ E-mail: mingcan.zhu @ ed.ac.uk
Primary supervisor: Boris Grot


V_DumitrescuVictor Dumitrescu

Interactive theorem proving systems, collaborative proof writing, asynchronous and parallel proof checking and discovery.

E-mail: v.dumitrescu @ outlook.com
James Ganis

Researching parallelism benefits for machine learning algorithms. Currently investigating combining point-based POMDP algorithms with parallelization techniques.

E-mail: james.ganis @ gmail.com
Mark Miller

My research interests are related to parallelisation and optimisation of algorithms and applications. My background is primarily in game development and graphic applications where real-time results are important and efficient use of parallel hardware is a must. During my time in the CDT I researched other techniques to further improve efficiency of graphics rendering, as well as applying parallelisation to virtual reality/animation.

Mark is currently working as a Runtime Engineer at Codeplay, one of the CDT’s industry partners.

Website │ E-mail: markmmiller @ hotmail.co.uk
Davide Pinato

My research area is Software Defined Networking (SDN) which focuses on obtaining a global view of a network through the use of a centralised controller. Controller design is key to achieve low latencies and high throughput. I will be performing practical experiments aiming to provide ways to overcome current challenges through the use of SDN.