Masters projects.
You can browse through the list in order to get an idea for the sort of MSc projects we run at our labs.
If you're a Delft MSc student and you like projects such as those listed here, you can contact us to
see if there are opportunities for an MSc project for you at our labs.
This is usually possible, but mainly depends on the time we have available for supervising you.
We also maintain a list of
, but this list is a subset of what is really possible since the actual project opportunities change a lot.
The projects are sorted in reverse chronological order by end year.
You can sort on other columns
by clicking the appropriate column headers.
Projects in progress are listed first, followed by separate tables for theses completed in
each year, starting in 2003.
For completed projects, you can click on the student's name for an abstract or
an electronic copy of the thesis.
If you did your masters thesis in the software engineering group and you can't find your thesis below,
contact your supervisor, and ask him/her to add your thesis.
| Name | Start | End | Supervisor(s) | Site | Topic |
| Cosmin Marsavina | 2013 | 2014 | Daniele Romano, Andy Zaidman | SERG | Fine-grained test co-evolution |
| Maria Kalouda | 2013 | 2013 | Daniele Romano, Andy Zaidman | | SOA evolvability |
| Jos Kraaijeveld | 2012 | 2013 | Andy Zaidman, Eric Bouwers | SIG | Code churn |
| Mladen Vavic | 2012 | 2013 | Martin Pinzger,Andy Zaidman | Sabern | Comparing Mobile Phone Development Platforms |
| Jerry de Swart | 2012 | 2013 | Andy Zaidman | Exact | Unit testing |
| Źmicier aleźničenka | 2012 | 2013 | Andy Zaidman | TomTom | Performance reengineering |
| Joey Siadis | 2012 | 2013 | Gerd Gross | Adyen | Online Monitoring of Service Oriented Architectures |
| Brian Omoro | 2012 | 2013 | Gerd Gross | SERG | Online Spectrum-based Fault Localization |
| John Visser | 2012 | 2012 | Gerd Gross | SERG | Performance Evaluation of Service Frameworks |
| Junior Garcia | 2012 | 2013 | Arie van Deursen, Rini van Solingen | Soltegro | Traceability in system modelling |
| Phil Hunte | 2012 | 2013 | Georgios Gousios, Andy Zaidman | Avanade | Model co-evolution |
| Wouter Willems | 2012 | 2013 | Andy Zaidman | SERG | Measuring unit testing |
| Oskar van Rest | 2012 | | Eelco Visser, Jim Steel | Queensland | model visualization |
| Wouter van Koppen | 2012 | | Eelco Visser, Ulrik Schultz | U. South Denmark | hardware DSLs |
| Andre Vieira | 2011 | 2012 | Lennart Kats, Eelco Visser | SERG | language testing |
| Chris Melman | 2011 | 2012 | Danny Groenewegen, Eelco Visser | SERG | web service integration |
| Jelle Fresen | 2011 | 2012 | Martin Pinzger, Andy Zaidman | SERG | Visualization of State-Flow Graphs of AJAX Based Web Applications |
| Elmer van Chastelet | 2010 | 2011 | Eelco Visser, Danny Groenewegen | SERG | Information Retrieval |
| Chris Gersen | 2010 | 2011 | Eelco Visser, Danny Groenewegen | SERG | WebDSL Optimization |
| Adil Akhter | 2010 | 2011 | Eelco Visser, Lennart Kats | SERG | Language Composition |
| Henno Schooljan | 2010 | 2011 | Gerd Gross | Berner & Mattner | Classification Tree Editor |
| Ricky Lindeman | 2009 | 2010 | Eelco Visser | SERG | Generating Debuggers for Domain-Specific Languages |
| Nathan Bruning | 2009 | 2010 | Eelco Visser, Danny Groenewegen | SERG | Separate Compilation for Domain-Specific Languages |
| Martijn Verschoor | 2008 | 2009 | Rini van Solingen | SWERL | Embedded Systems Development with Distributed Teams |
| Name | Start | End | Supervisor(s) | Site | Topic |
| Stefan Lenselink | 2009 | 2010 | Ali Mesbah, Arie van Deursen | SERG, Google | Concurrent Multi-browser Crawling of Ajax-based Web Applications |
| Frank Groeneveld | 2009 | 2010 | Ali Mesbah | SERG, Tam Tam | Automatic Invariant Finding in Dynamic Web Applications |
| Paul Metselaar | 2008 | 2010 | Andy Zaidman | Exact Software | Component Diagram Recovery with Dynamic Analysis |
| Martijn Reijerse | 2009 | 2010 | Rini van Solingen | TomTom International B.V. | Capturing and Predicting the Integration Process of an Embedded Software Company |
| Andre Cunha | 2010 | 2010 | Martin Pinzger, Rui Maranhao | SERG, University of Porto | An Empirical Investigation of Source Code Metrics and FindBugs? Warnings |
| Hsiao Hui Mui | 2009 | 2010 | Andy Zaidman | SERG | Detecting Late Propagations in Code Clone Evolution |
| Menno den Hollander | 2008 | 2010 | Andy Zaidman, Cathal Boogerd | Logica | Automatic Unit Test Generation |
| Remco Luitwieler | 2009 | 2010 | Gerd Gross | Logica | A Selection Method for Model-Driven Development Tools |
| Tom Pesman | 2009 | 2010 | Gerd Gross | Logica | Software maintenance in a Data Distribution Service with Complex Event Processing |
| Nick Matthijssen | 2008 | 2010 | Andy Zaidman, Arie van Deursen | SERG, University of Victoria | Understanding Ajax Applications by using Trace Analysis |
| Angelov Zdravko | 2008 | 2010 | Gerd Gross | IBM | Architecture framework in support of effort estimation of legacy systems modernization towards a SOA environment |
| Danny Roest | 2008 | 2010 | Ali Mesbah | SERG, Google | Automated Regression Testing of Ajax Web Applications |
| Boaz Pat-El | 2008 | 2010 | Sander Vermolen, Arie van Deursen | Avanade, TU Delft | Improving the Testability of Code Generation for Microsoft DSL Tools |
| Bart Luijten | 2008 | 2010 | Andy Zaidman | SIG | The Influence of Software Maintainability on Issue Handling |
| Name | Start | End | Supervisor(s) | Site | Topic |
| Maarten Schilt | 2006 | 2007 | Andy Zaidman | InfoSupport | Applying Model-Driven Development to Reduce Programming Efforts for Small Application Development |
| Engin Bozdag | 2006 | 2007 | Ali Mesbah | BackbaseBV | Push Server in Ajax Technology |
| Mulo Emmanuel | 2007 | 2007 | Andy Zaidman, Arie van Deursen | Philips Medical Systems | Design for Testability in Software Systems |
| Rob Schellhorn | 2006 | 2007 | Eelco Visser | Finalist | Framework Aware Domain Extraction and Refactoring of Java Applications |
| Rahmat Adnan | 2006 | 2007 | Bas Graaf | SWERL, Ideals Project | Reconstruction of state behaviour from (ASML) source code |
| Peter Hordijk | 2004 | 2007 | Marco Lormans, Ali Mesbah, Arie van Deursen | KPMG | Crosscutting concerns in web applications |
| Maurits Hartman | 2006 | 2007 | Arjan van Gemund | Universiteit van Valladolid | Embedded Systems for Biometric Identification |
| Alberto Gonzalez Sanchez | 2007 | 2007 | Rui Abreu, Arjan van Gemund | ESL, Universidad de Valladolid | Automatic Error Detection Techniques Based on Dynamic Invariants |
| Jonathan Joubert | 2006 | 2007 | Eelco Visser | Finalist | From REST to Rich: Retargeting a DSL to Ajax |
| Eric de Backer | 2006 | 2007 | Leon Moonen, Cathal Boogerd | SWERL, ASSESS Project | An Infrastructure for Empirical Software Analysis Studies |
| Etienne Gerts | 2006 | 2007 | Gerd Gross | Empty Quarter B.V. | EMV Credit Card Certification Process |
| Thomas Kraus | 2006 | 2007 | Gerd Gross | Chess IT | Generating system documentation augmented with traceability information, using a central XML-based repository |
| Carsten Krauter | 2006 | 2007 | Gerd Gross | TU Delft, SE | An Automatic Approach for VDM to Lydia-Model Transformation |
| Jeroen Dobbe | 2006 | 2007 | Eelco Visser | Canibal Games | A Domain-Specific Language for Computer Games |
| Marco Glorie | 2006 | 2007 | Andy Zaidman, Arie van Deursen | Philips Medical Systems, Reconstructor Project | Repository Splitting and Remodularization |
| Zheng Shen | 2005 | 2007 | Marco Lormans | LogicaCMG, Reconstructor Project | Requirements Management |
| Chaoyong Han | 2005 | 2007 | Hans Geers,Leon Moonen | SWERL, Reconstructor Project | Migration of existing software to use the KOALA component model |
| Yves Bourgois | 2006 | 2007 | Gerd Gross | ESL | Design and Verification of Concurrent Real-Time Systems using SDL and MSC |
| Rafi Vayani | 2006 | 2007 | Rui Abreu, Arjan van Gemund | ESL, TraderProject | Fault Diagnosis of Embedded Programs |
| Robin van Schendel | 2005 | 2007 | Leon Moonen | NLNCSA, ASSESS Project | Reducing Software Security Assessment Efforts by Determining Potentially Exploitable Subsystems |
| G.L. Cheng | 2006 | 2007 | Leon Moonen | Software Improvement Group, ASSESS Project | Static Detection of Java Security Vulnerabilities |
| Name | Start | End | Supervisor(s) | Site | Topic |
| Denis de Leeuw | 2005 | 2006 | Arjan van Gemund | ESL | Mapping Algorithms to Silicon |
| Sijmen Woutersen | 2006 | 2006 | Arjan van Gemund | ESL | X32: A 32-bit FPGA Softcore and Tool Chain |
| Wei Zhang | 2005 | 2006 | Jurryt Pietersma, Arjan van Gemund | ESL, TangramProject | Approximate Entropy Calculation in Model-Based Diagnosis |
| Willem Ridderhof | 2006 | 2006 | Gerd Gross, Arjan van Gemund | Daimler Chrysler Research | An Approach to Automatic Generation of Safety Cases Based on Trace Management |
| Dirk-Jan van Dijk | 2005 | 2006 | Hans Geers | TNO FEL | Scaleable Multi Agent Systems |
| Bobby Bregman | 2005 | 2006 | Kees van der Meer, Arie van Deursen | Fortis | Chain Monitoring for Web Services |
| Ewout Vonk | 2005 | 2006 | Hans Geers | Mobidot | How to deploy a Wi-Fi service provider independent hot spot network |
| Rodrigo Arriata Lopez | 2005 | 2006 | Arjan van Gemund | ESL, PGS | Analytical Cache Performance Modeling |
| Bo Wang | 2005 | 2006 | Kees Pronk | TUDelft SE | GUI for modelcheckers |
| Atam Gangaram Panday | 2005 | 2006 | Frans Ververs | Cochin University | Predicting Fault-Proneness using Coupling Metrics |
| Pieter Hartman | 2004 | 2006 | Leon Moonen | Aegon | Exploring for Architecture: "beyond module viewtype" |
| David Barrientos Velasco | 2005 | 2006 | Gerd Gross | SWERL | Testability Analysis for Real-Time Software |
| Wouter Lindhoud | 2005 | 2006 | Gerd Gross, Arjan van Gemund | Philips Medical | Automated Fault-Diagnosis at Philips Medical Systems |
| Arjan Seesing | 2005 | 2006 | Gerd Gross, Arie van Deursen | SWERL | Test Case Generation Using Genetic Programming and Software Analysis |
| Hans Wasmus | 2005 | 2006 | Gerd Gross | EPCOS | Test-Driven Software Development |
| Thijs Reus | 2004 | 2006 | Hans Geers, Arie van Deursen | Fortis, IOSoftware | Harvesting legacy systems to support migration to MDA |
| Niek Wesseling | 2004 | 2006 | Hans Geers | Fei Company; TU Delft TNW | Televiewing of electron microscope pictures |
| Andries van Waas | 2005 | 2006 | Peter Kluit | QQQ Delft B.V. | Automatische programmageneratie uit rekenmodelspecificaties |
| Auke Bajema, Benny Coomans | 2005 | 2006 | Peter Kluit | Albatros | Creating a Semantic DBMS |
| Name | Start | End | Supervisor(s) | Site | Topic |
| Maikel Pennings | 2003 | 2003 | Frans Ververs | GeorgiaTech, Atlanta, USA | Alias Analysis for Java Design and Evaluation |
| M. Kooke | 2002 | 2003 | Frans Ververs | Walvis Software B.V. | EDI met XML |
| L.Y.R. Hofman | 2002 | 2003 | Frans Ververs | TNO-FEL | CEDRIC: Collaborative Environnement for Disaster Relief with Integrated Communication |
| Y. Jin | 2003 | 2003 | Frans Ververs | Philips | Knowledge Management in the e-Platform |
| Q. Shao | 2003 | 2003 | Frans Ververs | ASML | XML-Java Data Binding technology |
| Hailong Yu | 2002 | 2003 | Kees Pronk, Frans Ververs | SERG | The Driving Simulator; Studies of realistic control behaviour in a desktop driving environment |
| Mu Shuang | 2002 | 2003 | Hans Geers | ASML | Object Oriented design and implementation of embedded test software at ASML |
| Maarten van Schouwen | 2002 | 2003 | Frans Ververs | SERG | A Workbench for Automatic Recognition of Facial Expressions |
| Ali Mesbah | 2002 | 2003 | Frans Ververs | West Consulting | Designing An XML-based CMS (XMS) |