PhD Defences

Upcoming PhD defences

  • 13th Apr 2017, Waheed Ahmad. Green Computing: Efficient Energy Management of Multiprocessor Streaming Applications via Model Checking. Twente University. Read More…

Past PhD defences in 2017

Past PhD defences in 2016

  • 19th Dec 2016, Jan van Rijn. Massively Collaborative Machine Learning. Leiden University. Read More…
  • 14th Dec 2016, Fabian van den Broek. Mobile Communication Security. Radboud University Nijmegen. Read More…
  • 24th Oct 2016, Aminah Zawedde. Modeling the Dynamics of Requirements Process Improvement. Eindhoven University of Technology. Read More…
  • 7th Sep 2016, Ionut David. Run-time resource management for component-based systems. Eindhoven University of Technology. Read More…
  • 6th Sep 2016, Allan van Hulst. Control Synthesis using Modal Logic and Partial Bisimilarity. Eindhoven University of Technology. Read More…
  • 31st Aug 2016, Arthur van Goethem. Algorithms for Curved Schematization. Eindhoven University of Technology. Read More…
  • 13th Jul 2016, Tom van Dijk. Sylvan: Multi-core Decision Diagrams. Twente University. Read More…
  • 5th Jul 2016, Baris Ege. Physical Security Analysis of Embedded Devices. Radboud University Nijmegen. Read More…
  • 26th Apr 2016, Yaping Luo. From Conceptual Models to Safety Assurance: Applying Model-Based Techniques to Support Safety Assurance. Eindhoven University of Technology. Read More…
  • 24th Mar 2016, Sarmen Keshishzadeh. Formal Analysis and Verification of Embedded Systems for Healthcare. Eindhoven University of Technology. Read More…
  • 15th Mar 2016, Maciej Gazda. Fixpoint Logic, Games, and Relations of Consequence. Eindhoven University of Technology. Read More…
  • 11th Mar 2016, Petra Heck. Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time. Delft University of Technology. Read More…
  • 3rd Mar 2016, Sung-Shik Jongmans. Automata-Theoretic Protocol Programming. Leiden University. Read More…
  • 24th Feb 2016, Sebastiaan Joosten. Verification of Interconnects. Eindhoven University of Technology. Read More…

PhD defences in 2015

  • 10th Dec 2015, Rudy van Vliet. DNA Expressions – A Formal Notation for DNA. Leiden University.   Read More…
  • 1st Dec 2015, Robbert Krebbers. The C standard formalized in Coq. Radboud University Nijmegen.   Read More…
  • 13th Nov 2015, Daniel Gebler. Robust SOS Specifications of Probabilistic Processes. Free University Amsterdam.   Read More…
  • 19th Oct 2015, Milosh Stolikj. Building Blocks for the Internet of Things. Eindhoven University of Technology.   Read More…
  • 15th Oct 2015, Jurriaan Rot. Enhanced coinduction. Leiden University. Recipient of the IPA Dissertation Award 2015.  Read More…
  • 1st Oct 2015, Marina Zaharieva-Stojanovski. Closer to Reliable Software: Verifying functional behaviour of concurrent programs. Twente University.   Read More…
  • 1st Sep 2015, Rody Kersten. Software Analysis Methods for Resource-Sensitive Systems. Radboud University Nijmegen.   Read More…
  • 27th Aug 2015, Joeri de Ruiter. Lessons learned in the analysis of the EMV and TLS security protocols. Radboud University Nijmegen.   Read More…
  • 6th Jul 2015, Stjepan Picek. Applications of Evolutionary Computation to Cryptology. Radboud University Nijmegen.   Read More…
  • 30th Jun 2015, Jeroen Bransen. On the Incremental Evaluation of Higher-Order Attribute Grammars. Utrecht University.   Read More…
  • 17th Jun 2015, Sjoerd Cranen. Getting the point — Obtaining and understanding fixpoints in model checking. Eindhoven University of Technology.   Read More…
  • 4th Jun 2015, Steven te Brinke. Developing Energy-Aware Software. Twente University.   Read More…
  • 27th May 2015, Cuiting Chen. Automated Fault Localization for Service-Oriented Software Systems. Delft University of Technology.   Read More…
  • 26th May 2015, Yanjindulam Dajsuren. On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems. Eindhoven University of Technology.   Read More…
  • 24th Apr 2015, Stefan Dietzel. Resilient In-network Aggregation for Vehicular Networks. Twente University.   Read More…
  • 21st Apr 2015, Roel Verdult. The (in)security of proprietary cryptography. Radboud University Nijmegen.   Read More…
  • 8th Apr 2015, Atze van der Ploeg. Efficient Abstractions for Visualization and Interaction. Universiteit van Amsterdam.   Read More…
  • 31st Mar 2015, Elisa Costante. Privacy throughout the Data Cycle. Eindhoven University of Technology.   Read More…
  • 30th Mar 2015, Anja Guzzi. Supporting Developers’ Teamwork from within the IDE. Delft University of Technology.   Read More…
  • 20th Mar 2015, Tiago Espinha. Web Service Growing Pains: Understanding Services and Their Clients. Delft University of Technology.   Read More…
  • 4th Mar 2015, Vinh Bui. A Software Architecture for Body Area Sensor Networks: Flexibility and Trustworthiness. Eindhoven University of Technology.   Read More…
  • 2nd Mar 2015, Rolf Theunissen. Supervisory Control in Health Care Systems. Eindhoven University of Technology.   Read More…
  • 15th Jan 2015, Gergely Alpár. Attribute-Based Identity Management: Bridging the Cryptographic Design of ABCs with the Real World. Radboud University Nijmegen.   Read More…

PhD defences in 2014

  • 28th Nov 2014, Pim Vullers. Efficient Implementations of Attribute-based Credentials on Smart Cards. Radboud University Nijmegen. Read More…
  • 19th Nov 2014, Frank Takes. Algorithms for Analyzing and Mining Real-World Graphs. Leiden University. Read More…
  • 12th Nov 2014, Michiel Helvensteijn. Abstract Delta Modeling: Software Product Lines and Beyond. Leiden University. Read More…
  • 11th Nov 2014, Marijn Schraagen. Aspects of Record Linkage. Leiden University. Read More…
  • 10th Nov 2014, Arjan van der Meer. Domain Specific Languages and their Type Systems. Eindhoven University of Technology. Read More…
  • 27th Oct 2014, Neda Noroozi. Improving Input-Output Conformance Testing Theories. Eindhoven University of Technology. Read More…
  • 27th Oct 2014, Fides Aarts. Tomte: Bridging the Gap between Active Learning and Real-World Systems. Radboud University Nijmegen. Read More…
  • 20th Oct 2014, Bogdan Vasilescu. Social Aspects of Collaboration in Online Software Communities. Eindhoven University of Technology. Recipient of the IPA Dissertation Award 2014. Read More…
  • 18th Sep 2014, Axel Belinfante. JTorX: Exploring Model-Based Testing. Twente University. Read More…
  • 2nd Sep 2014, Wouter Meulemans. Similarity Measures and Algorithms for Cartographic Schematization. Eindhoven University of Technology. Read More…
  • 1st Jul 2014, Joost Winter. Coalgebraic Characterizations of Automata-Theoretic Classes. Radboud University Nijmegen. Read More…
  • 9th May 2014, Alfons Laarman. Scalable Multi-Core Model Checking. Twente University. Read More…
  • 17th Apr 2014, Tri Minh Ngo. Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. Twente University. Read More…
  • 14th Apr 2014, Cor-Paul Bezemer. Performance Optimization of Multi-Tenant Software Systems. Delft University of Technology. Read More…
  • 5th Feb 2014, Arjan Jeckmans. Cryptographically-Enhanced Privacy for Recommender Systems. Twente University. Read More…
  • 9th Jan 2014, Dina Hadziosmanovic. The Process Matters: Cyber Security in Industrial Control Systems. Twente University. Read More…
  • 9th Jan 2014, Jeroen van den Bos. Gathering Evidence: Model-Driven Software Engineering in Automated Digital Forensics. Universiteit van Amsterdam. Read More…

PhD defences in 2013

  • 18th Dec 2013, Stijn de Gouw. Combining Monitoring with Run-time Assertion Checking. Leiden University. Read More…
  • 17th Dec 2013, Carst Tankink. Documentation and Formal Mathematics — Web Technology meets Proof Assistants. Radboud University Nijmegen. Read More…
  • 6th Nov 2013, Leonard Lensink. Applying Formal Methods in Software Development. Radboud University Nijmegen. Read More…
  • 9th Oct 2013, Marcel Roeloffzen. Kinetic Data Structures in the Black-Box Model. Eindhoven University of Technology. Read More…
  • 23rd Sep 2013, Lionel Elie Mamane. Interactive mathematical documents: creation and presentation. Radboud University Nijmegen. Read More…
  • 17th Sep 2013, Jeroen Keiren. Advanced Reduction Techniques for Model Checking. Eindhoven University of Technology. Read More…
  • 13th Sep 2013, Mark Timmer. Efficient Modelling, Generation and Analysis of Markov Automata. Twente University. Recipient of the IPA Dissertation Award 2013. Read More…
  • 22nd Aug 2013, Dirk Gerrits. Pushing and Pulling: Computing push plans for disk-shaped robots, and dynamic labelings for moving points. Eindhoven University of Technology. Read More…
  • 4th Jul 2013, John Businge. Co-evolution of the Eclipse Framework and its Third-party Plug-ins. Eindhoven University of Technology. Read More…
  • 12th Jun 2013, Martijn van den Heuvel. Composition and synchronization of real-time components upon one processor. Eindhoven University of Technology. Read More…
  • 3rd Jun 2013, Sander van der Burg. A Reference Architecture for Distributed Software Deployment. Delft University of Technology. Read More…
  • 22nd Apr 2013, Michaela Greiler. Test Suite Comprehension for Modular and Dynamic Systems. Delft University of Technology. Read More…
  • 11th Apr 2013, Gerhard de Koning Gans. Outsmarting Smart Cards. Radboud University Nijmegen. Read More…
  • 27th Mar 2013, Bas Lijnse. TOP to the Rescue — Task-Oriented Programming for Incident Response Applications. Radboud University Nijmegen. Read More…
  • 24th Jan 2013, Eduardo Zambon. Abstract Graph Transformation – Theory and Practice. Twente University. Read More…
  • 22nd Jan 2013, Harsh Beohar. Refinement of Communication and States in Models of Embedded Systems. Eindhoven University of Technology. Read More…
  • 22nd Jan 2013, Georgeta Igna. Performance Analysis of Real-Time Task Systems using Timed Automata. Radboud University Nijmegen. Read More…

PhD defences in 2012

  • 17th Dec 2012, Ammar Osairweran. Formal Development of Control Software in the Medical Systems Domain. Eindhoven University of Technology. Read More…
  • 11th Dec 2012, Luc Engelen. From Napkin Sketches to Reliable Software. Eindhoven University of Technology. Read More…
  • 7th Dec 2012, Wouter Kuijper. Compositional Synthesis of Safety Controllers. Twente University. Read More…
  • 29th Nov 2012, Damian Nadales. A Compositional Interchange Format for Hybrid Systems: Design and Implementation. Eindhoven University of Technology. Read More…
  • 13th Nov 2012, Cynthia Kop. Higher Order Termination. Free University Amsterdam. Recipient of the IPA Dissertation Award 2012. Read More…
  • 8th Nov 2012, Frank Stappers. Bridging Formal Models – An Engineering Perspective. Eindhoven University of Technology. Read More…
  • 30th Oct 2012, Hossein Rahmani. Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms. Leiden University. Read More…
  • 1st Oct 2012, Sander Vermolen. Software Language Evolution. Delft University of Technology. Read More…
  • 27th Aug 2012, Kevin Verbeek. Algorithms for Cartographic Visualization. Eindhoven University of Technology. Read More…
  • 5th Jul 2012, Faranak Heidarian Dehkordi. Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference. Radboud University Nijmegen. Read More…
  • 23rd Feb 2012, Trajce Dimkov. Alignment of Organizational Security Policies: Theory and Practice. Twente University. Read More…
  • 17th Feb 2012, Saeed Sedghi. Towards Provably Secure Efficiently Searchable Encryption. Twente University. Read More…
  • 11th Jan 2012, Zef Hemel. Methods and Techniques for the Design and Implementation of Domain-Specific Language. Delft University of Technology. Read More…
  • 10th Jan 2012, Amirali Khosravi. Optimal Geometric Data Structures. Eindhoven University of Technology. Read More…
  • 9th Jan 2012, Arie Middelkoop. Inference of Program Properties with Attribute Grammars, Revisited. Utrecht University. Read More…
  • 9th Jan 2012, Marcel van Amstel. Assessing and Improving the Quality of Model Transformations. Eindhoven University of Technology. Read More…

Earlier PhD defences

    These will soon be ported from our old website