Postgraduate Students

Past PhD students

Frank Penczek

Static Guarantees for Coordinated Components: A Statically Typed Composition Model for Stream-Processing Networks

PhD, University of Hertfordshire, 2012

(with Sven-Bodo Scholz)

Follow-up position: Intel Corp, Ulm, Germany

Raphaël Poss

On the Realizability of Hardware Microthreading

PhD, University of Amsterdam, 2012

(with Chris Jesshope)

Follow-up position: Post-doctoral researcher at University of Amsterdam

Kai Trojahner

QUBE - Array Programming with Dependent Types

PhD, University of Lübeck, 2011

(with Walter Dosch)

Follow-up position: Real Time Technologies AG (RTT), München

Thomas Bernard

On the Compilation of a Parallel Language Targeting the Self-adaptive Virtual Processor

PhD, University of Amsterdam, 2011

(with Chris Jesshope)

Follow-up position: Associated Compiler Experts (ACE), Amsterdam

Second Reader / PhD Committee Member

Pablo Inostroza Valdera

Object-Oriented Techniques for Modular Language Implementation

PhD, Centrum Wiskunde en Informatica (CWI), Amsterdam, 2018

Davy Landman

Recovering Domain Knowledge from Source Code

PhD, Centrum Wiskunde en Informatica (CWI), Amsterdam, 2017

Michael Steindorfer

Efficient Immutable Collections

PhD, Centrum Wiskunde en Informatica (CWI), Amsterdam, 2017

Nilesh Karavadara

RA-LPEL: A Resource-Aware Light-Weight Parallel Execution Layer for Reactive Stream Processing Networks on the SCC Many-core Tiled Architecture

PhD, University of Hertfordshire, United Kingdom, 2016

Fangbin Liu

High Performance Adaptive Image Processing on Multi-Scale Hybrid Architectures

PhD, University of Amsterdam, 2015

Javier Fresno Bausela

Supporting General Data Structures and Execution Models in Runtime Environments

PhD, University of Valladolid, Spain, 2015

Wei Quan

Scenario-based Run-time Adaptive Multi-Processor System-on-Chip

PhD, University of Amsterdam, 2015

Pieter Hijma

Programming Many-Cores on Multiple Levels of Abstraction

PhD, Vrije Universiteit Amsterdam, 2015

Atze van der Ploeg

Efficient Abstractions for Visualization and Interaction

PhD, Centrum Wiskunde en Informatica (CWI), Amsterdam, 2015

Maksim Kusnetcov

Data-Driven Self-Tuning in a Coordination Programming Language

MSc by research, University of Hertfordshire, United Kingdom, 2015

Anna Tikhonova

A Synchronisation Facility for a Stream Processing Coordination Language

MSc by research, University of Hertfordshire, United Kingdom, 2015

Jian Fu

A Fault Tolerance Framework in a Concurrent Programming Environment

PhD, University of Amsterdam, 2014

Michael Lesniak

On the Benefits of Abstraction in Concurrent Haskell

PhD, University of Kassel, Germany, 2012

Ruyman Reyes Castro

Directive-based Approach to Heterogeneous Computing

PhD, University of La Laguna, Spain, 2012