PhD theses supervised by Henri Bal

Most PhD theses are also available on VU DARE.

  • Raoul Bhoedjang: Communication Architectures for Parallel-Programming Systems (June 2000)
  • Tim Rühl: Collective Computation in Object-based Parallel Programming Languages (November 2000)
  • John Romein: Multigame — An Environment for Distributed Game-Tree Search (January 2001)
  • Jason Maassen: Method Invocation Based Communication Models for Parallel Programming in Java (June 2003)
  • Rob van Nieuwpoort: Efficient Java-centric grid computing (September 2003)
  • Ronald Veldema: Compiler and Runtime Optimizations for Fine-Grained Distributed Shared Memory Systems (October 2003)
  • Werner Vogels: Scalable Cluster Technologies for Mission-Critical Enterprise Computing (November 2003)
  • Gosia Wrzesinska: Handling Complexity and Change in Grid Computing (May 2007)
  • Kate Mullen: Separable nonlinear models: theory, implementation and applications in physics and chemistry (November 2008)
  • Tom van der Schaaf: Aura II: a Scene Graph based Architecture for Interactive Parallel Rendering (December 2008)
  • Desmond Germans: Practical Aspects of Virtual Reality Technology in Research and Educational Environments (December 2008)
  • Mathijs den Burger: High-throughput Multicast Communication for Grid Applications (June 2009)
  • Willem de Bruijn: Adaptive Operating System Design for High Throughput I/O, (Jan 2010)
  • Georgios Portokalidis: Using Virtualisation to Protect Against Zero-Day Attacks (Febr 2010)
  • Maik Nijhuis : A Framework for Parallel Streaming Applications (Oct 2010)
  • Niels Drost : Real-World Distributed Supercomputing (Nov 2010)
  • Ela Krepska: Towards Big Biology: High-Performance Verification of Large Concurrent Systems (Sept 2012)
  • Nick Palmer: Smartphones: A Platform For Disaster Management (Oct 2012)
  • Asia Slowinska: Using information flow tracking to protect legacy binaries (May 2012), co-promotor
  • Jacopo Urbani: On Web-scale reasoning (Jan. 2013), Cum Laude
  • Ana-Maria Oprescu: Stochastic Approaches to Self-Adaptive Application Execution on Clouds (Mar. 2013)
  • Roelof Kemp: Programming Frameworks for Distributed Smartphone Computing (April 2014)
  • Cedric Nugteren: Improving the Programmability of GPU Architectures (April 2014), TU Eindhoven (with Henk Corporaal)
  • Ben van Werkhoven : Scientific Supercomputing with Graphics Processing Units (October 2014)
  • Pieter Hijma: Programming Many-Cores on Multiple Levels of Abstraction (June 2015)
  • Kaveh Razavi: Fast and Scalable Virtual Machine Deployment (November 2015)
  • Daniela Remenska: Bringing Model Checking Closer To Practical Software Engineering (February 2016)
  • Claudio Martella: Crowd Textures: From Sensing Proximity to Understanding Crowd Behavior (February 2017), 2nd promotor (with Maarten van Steen)
  • Alexandru Uta: Optimizing the Execution of Many-Task Computing Applications Using In-Memory Distributed File Systems (March 2017)
  • Alessio Sclocco: Accelerating Radio Astronomy with Auto-Tuning (October 2017)
  • Vladimir Bozdog: A Smartphone-based Infrastructure for Decentralized Partnership Formation (September 2019)
  • Chris Broekema:  Commodity compute and data-transport system design in modern large-scale distributed radio telescopes (thesis: March 2020, defense September 2020)
  • Roshan Bharath Das: Energy-efficient Stream Processing for a Smart Device Ecosystem (May 2021)
  • Bram Veenboer: Radio-Astronomical Imaging on Accelerators (September 2021)
  • Hamid Bazoubandi: Building Stream Reasoners for the Web of Data (November 2021)
  • Bojan Simoski: Untangling the Puzzle of Digital Health Interventions: Exploring the user-acceptance and effectiveness of digital health interventions based on computerized intervention components (January 2023)