Students
Our students research a wide range of topics related to parallel computing, heterogeneity, concurrency and distribution
2015 Cohort
Amna Shahab
![Amna Shahab](/sites/default/files/thumbnails/image/a_shahab.jpg)
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](/sites/default/files/thumbnails/image/jakub-photo-ppar-300x300.png)
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](/sites/default/files/thumbnails/image/pepijn-kokke-240x300_0.jpg)
- Primary supervisor: Philip Wadler
- E-mail: wen.kokke@ed.ac.uk
2017 Cohort
Martin Kristien
![Martin Kristien](/sites/default/files/thumbnails/image/kristien_profile.jpg)
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](/sites/default/files/thumbnails/image/dananjaya_mahesh_140.jpg)
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](/sites/default/files/thumbnails/image/liu_muyang_140.jpg)
Database systems, parallel computation, graph computation and distributed systems.
- Primary Supervisor: Wenfei Fan
- E-mail: muyang.liu@ed.ac.uk
Ionela Mocanu
![Ionela Mocanu](/sites/default/files/thumbnails/image/mocanu_ionela_140.jpg)
Modelling agents moral responsibility in decision making using probabilistic programming.
- Primary supervisor: Vaishak Belle
- Email: I.G.Mocanu@sms.ed.ac.uk
Jacob Webber
![](/sites/default/files/thumbnails/image/webber_jacob_140.jpg)
Concurrency and security through types and programming languages.
- Primary supervisor: Simon King
- Email: j.j.webber@ed.ac.uk