Students

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

2014 Cohort

Chris Cummins

Chris Cummins

Deep Learning for Compilers.

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

Artemiy Margaritov

Artemiy Margaritov

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

  • Primary supervisor: Boris Grot
  • Sponsored by ARM
  • E-mail: Artemy.Margaritov@ed.ac.uk

Martin Rüfenacht

Martin Rüfenacht

Scalable message passing and high performance computing.

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

Galini Tsoukaneri

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.

  • Primary supervisor: Mahesh Marina
  • E-mail: G.Tsoukaneri@sms.ed.ac.uk

Justs Zarins

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

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

2015 Cohort

Floyd Chitalu

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

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

Philip Ginsbach

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

  • Primary supervisor: Mike O'Boyle
  • Sponsored by: ARM
  • E-mail: philip.ginsbach@ed.ac.uk

Daniel Hillerström

Daniel Hillerström

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

  • Primary supervisor: Sam Lindley
  • Personal page
  • E-mail: daniel.hillerstrom@ed.ac.uk

Daniel Mills

Daniel 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.

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

Paul Piho

Paul Piho

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

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

Amna Shahab

Amna 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.

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

Rajkarn Singh

Rajkarn 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.

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

Larisa Stoltzfus

Larisa Stoltzfus

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

  • Primary supervisor: Christophe Dubach
  • Personal Page 
  • E-mail: s1147290@sms.ed.ac.uk

Chris 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.

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

Vanya Yaneva

Vanya 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.

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

Jakub Zalewski

Jakub Zalewski

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

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

2016 Cohort

Rodrigo Caetano de Oliveira Rocha

Rodrigo Caetano de Oliveira Rocha

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

  • Primary supervisor: Hugh Leather
  • Personal page
  • E-mail: r.rocha@ed.ac.uk

Ludovic Capelli

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

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

Lewis 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.

  • Primary supervisor: Mike O'Boyle
  • Sponsored by: ARM
  • E-mail: s1203531@sms.ed.ac.uk

Vasilis Gavrielatos

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

  • Primary supervisor: Vijay Nagarajan
  • E-mail: Vasilis.Gavrielatos@ed.ac.uk

Rudi Horn

Rudi Horn

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

  • Primary supervisor: James Cheney
  • E-mail: r.horn@ed.ac.uk
  • Personal Page

Victor 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.

  • Primary supervisor: Nigel Topham
  • E-mail: victor.ivanov @ ed.ac.uk

Antonis Katsarakis

Antonis 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.

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.

  • Primary Supervisor: Philip Wadler
  • Personal page
  • E-mail: wen.kokke@ed.ac.uk

Paul 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.

  • Primary Supervisor: Murray Cole
  • Personal page
  • E-mail: s1576303@sms.ed.ac.uk

Naums Mogers

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

  • Primary Supervisor: Christophe Dubach
  • Personal page
  • E-mail: naums.mogers@ed.ac.uk

Federico 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.

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

Thomas 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.

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

2017 Cohort

Pablo Andres Martinez

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.

  • Primary supervisor: Chris Heunen
  • Personal page
  • E-mail: P.Andres-Martinez@sms.ed.ac.uk

Maximiliana Behnke

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.

  • Primary supervisor: Kenneth Heatfield
  • Personal page
  • E-mail: Maximiliana.Behnke@ed.ac.uk

Bruce Collie

Bruce Collie
Program analysis for automatic parallelisation and improvements to software development tools.
  • Primary supervisor: Mike O'Boyle
  • E-mail: Bruce.Collie@ed.ac.uk

Brian Coyle

Brian Coyle

My work is in the field of quantum computation, particularly quantum machine learning and verification. I am working on quantum machine learning algorithms which have the potential to demonstrate a quantum advantage.

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

Martin Kristien

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.

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

Aleksandr Maramzin

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.

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

Nicolai Oswald

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.

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

Jack Turner

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

2018 Cohort

Mahesh Dananjaya

Mahesh Dananjaya
Architecture and compiler/programming support for parallel computing, memory systems and data systems with focus on memory consistency, cache coherency and memory persistency.
  • Primary supervisor: Vijay Nagarajan
  • Personal page
  • Email: mahesh.dananjaya@ed.ac.uk

Anton Fuxjaeger

Anton Fuxjaeger
Deep networks, graphical models, knowledge compilation, Inference and structure leaning. My research will focus on the theoretical foundation of deep neural networks and how to combine them with knowledge compilation techniques.
  • Primary supervisor: Vaishak Belle
  • Email: anton.fuxjaeger@ed.ac.uk

Andrej Ivanis

Andrej Ivanis
Machine learning acceleration, hardware synthesis, compilers and computer graphics.
 
  • Primary supervisor: Taku Komura
  • Personal page
  • Email: andrej.ivanis@ed.ac.uk

Rado Kirilchev

Rado Kirilchev

Distributed procedural algorithms, 3D object synthesis, information extraction, and deep generative models.

 

  • Primary supervisor: Taku Komura
  • Email: R.Kirilchev@ed.ac.uk

Muyang Liu

Muyang Liu

Database systems, parallel computation, graph computation and distributed systems.

 

  • Primary Supervisor: Wenfei Fan
  • E-mail: muyang.liu@ed.ac.uk

Ionela Mocanu

Ionela Mocanu
Modelling agents moral responsibility in decision making using probabilistic programming.
 
  • Primary supervisor: Vaishak Belle
  • Email: I.G.Mocanu@sms.ed.ac.uk

Foivos Tsimpourlas

Foivos Tsimpourlas
My interests lie in the area of machine learning, software design techniques and high performance computing. More specifically, my research focuses on deep learning and how it is applied on innovative software testing techniques.
  • Primary supervisor: Ajitha Rajan
  • Personal page
  • Email: F.Tsimpourlas@sms.ed.ac.uk

Jacob Webber

Concurrency and security through types and programming languages.
 
  • Primary supervisor: Phil Wadler
  • Email:  j.j.webber@ed.ac.uk