Students
Our students research a wide range of topics related to parallel computing, heterogeneity, concurrency and distribution
2015 Cohort
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
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
- Primary supervisor: Philip Wadler
- E-mail: wen.kokke@ed.ac.uk
2017 Cohort
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
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
Database systems, parallel computation, graph computation and distributed systems.
- Primary Supervisor: Wenfei Fan
- E-mail: muyang.liu@ed.ac.uk
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