Students

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

  2015 Cohort

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

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

 Wen Kokke

Wen Kokke

 

 

  • Primary supervisor:  Philip Wadler
  • E-mail:  wen.kokke@ed.ac.uk

 

2017 Cohort

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

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

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

Jacob Webber

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