Supervised theses
PhD Theses
I have supervised the following PhD students to completion:
- Below theses were supervised while I worked for Utrecht University
- Alejandro Serrano Mena [pdf]
- Ravi Khadka [pdf]
- Bastiaan Heeren [pdf]
- Alexander Elyasov
The following students are in the process of completing their theses:
- Amir Saeidi
MSc Theses
I have (co-)supervised the following people at Utrecht University, starting with the most recent ones. In many cases their work has led to a publication (students marked in bold).
- Below theses were supervised while I worked for Utrecht University
- Marco van de Weerthof on Strictness analysis in Helium
- Hanno Ottens on Higher Ranked Region Bound Inference For Region Based Memory Management In Helium
- Swen Nijboer on Traffic Analysis of a Service Mesh
- Mias van Klei on Heap Recycling Analysis in Helium
- Wout Elsinghorst on A Convolutional Neural Attention Approach to the Identifier Naming Problem in Program Code
- Carlijn Quik on Visualising Software Dynamics through Architecture Mining
- Reinier Maas on Normalizing the Core Representation in Helium
- Ivo Gabe de Wolff on Higher Ranked Region Inference for Compile-time Garbage Collection
- Joris Burgers on Type error diagnosis for OutsideIn(X) in Helium
- Rob Spoel on Verified Translation of a Strongly Typed Functional Language with Variables to a Language of Indexed Gates
- Tijmen de Jong on From Package to Process: Dynamic Software Architecture Reconstruction using Process Mining
- Thomas Ipskamp on A Graph-based Approach to Capture Software Behavior in Architecture
- Tim Breedveld on Finding Similar Software with Ontology Matching Techniques
- Jasper Robeer on The Effect of Automatic Stubbing on Measurement of Energy Consumption
- Rick Klomp on Automatically Tracking Model Based Testing of Asynchronously Communicated Protocol Implementations
- Frank Dedden on Compiling an Haskell EDSL to C: A new C back-end for the Copilot runtime verification framework
- Renate Eilers on Fine-Grained Model Slicing for Faster Verification
- Tibor Bremer on Implementing Counting Analysis in UHC
- Wilco Kusee on Compiling Agda to Haskell with fewer coercions
- Daniel Heres Source Code Plagiarism Detection using Machine Learning
- Jorn van Wijk Formalising Monotone Frameworks: A dependently typed implementation in Agda
- Rens Rooimans Architecture Mining with ArchitectureCity
- Fabian Thorand Higher-ranked Polymorphism in Dependency Analyses
- Joey Eremondi on Improving Error Messages for Dependent Types with Constraint-based Unification
- Falco Peijnenburg on Type Directives for Elm
- Tom Tervoort on A Protocol Specification Language for Testing Implementations
- Eduard van der Bent on Defining and Measuring Puppet Code Quality
- Joeri Peeters on An Approach to Discovering Architectural Patterns in Software
- Andreas Nikas on Automated Gui Testing for Games using pseudo-DSL
- Joao Alpuim on Haskell for static analysis for ProductXpress models
- Tim Soethout on Analysing Pareci
- Rinse van Hees on Stable Voronoi Treemaps for Software System Visualization
- Henk Erik van der Hoek on Object Sensitive Type Analysis for PHP
- Nikos Savvidis on Supporting and Automating the Security Assessment of Software Products Using Tools
- Augusto Passalaqua Martins on Polyvariant Strictness analysis in UHC
- Hidde Verstoep on Counting Analyses
- Robert Kreuzer on A Quantitative Comparison of Semantic Web Page Segmentation Algorithms
- Ruud Koot on Pattern Match Analysis For Haskell
- Gerben Verburg on Strictness Analysis For UHC
- Theodoros Polychniatis on Cross-language Dependency Analysis
- Levin Fritz on Balancing Cost And Precision For Python Soft Typing
- Andreas Resios on Models For Measuring Performance Impact Of GPU Optimisations
- Calin Juravle on Static Analysis for GPUs
- Marnix Kammer on Plagiarism Detection In Haskell Programs Using Call Graph Matching
- Gijs Reinders on The Software Chop Shop
- Mathijs Swint on Analyzing Errors In Helium Loggings
- Brian Vermeer on Plagiarism Detection For Haskell
- Jeroen Weijers on Feedback-Oriented Security Analysis
- Peter Rademaker on Manipulating Software Dependence Graphs To Increase System Understanding
- Wouter Penard on A Framework For Dynamic Real-Time Navigation
- Guangyu Zhang on Binding Time Analysis With Subeffecting
- Mark Snyder on NLALR parsing
- Nabil el Boustani on Improving Type Error Messages For Generic Java
- Eric Bouwers on Improving Automated Feedback - Building a Generic Rule-Feedback Generator
- Peter van Keeken on Analysis Of Helium Programs Obtained Through Logging
- Patrick Camphuijsen on Soft Typing And Coding Styles For PHP
- Huib van den Brink on Quality Measures For Injected SQL
- Arie Middelkoop on Improved Uniqueness Typing For Haskell
- Arjen Langebaerd on Repair Systems - Automatic Correction Of Type Errors In Functional Programs
- Lukas Spee on A Constraint-based Bottom-up Strictness Analysis For Haskell
- Kamal Sayah on Automated Norm Extraction From Legal Texts
- Jeroen Snijders on Functional Design Patterns
- Faridah Liduan on Design and Implementation of a UML OCL Compiler
- Casper de Lange on Analyse Op dotNet Software
- Jaco Peeman on RevDotNet: Een Assistant Voor Gecompileerde DotNet Code
- Rik van de Ven on Efficient Instruction Selection Using Attribute Grammars