LIACS Thesis Repository
These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science
(LIACS),
the computer science and artificial intelligence department of Leiden University.
Note: this thesis repository might be incomplete for certain programmes.
Students supervised by Bonsangue, prof.dr. M.M. (Marcello)
Note: the overview per supervisor is likely partially incomplete.
56 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2024 | second supervisor | Bian, J. (Jinting) | Reasoning about Object-Oriented Programs: From Classes to Interfaces | |
| PhD Computer Science | 2024 | second supervisor | Javanmardi, S. (Shima) | From Pixels to Patterns: AI-Driven Image Analysis in Multiple Domains | |
| PhD Computer Science | 2024 | first supervisor | Chu, W. (Wenjing) | Automata Learning: from Probabilistic to Quantum | |
| PhD Computer Science | 2024 | first supervisor | Feng, H. (Hui) | Formal Models of Software-Defined Networks | |
| Master Computer Science | 2024 | third supervisor | Starkenburg, B. (Berend) | Working Towards Category Theoretic Semantics for Separation Logic | |
| Master Computer Science | 2024 | second supervisor | Remmerswaal, F. (Floyd) | Validation & Simulation of Software-Defined Network Specifications in ... | |
| Bachelor Informatica | 2024 | first supervisor | Zuurmond, L. (Lucas) | Probably Approximately Correct Automata Extraction from Neural Network... | |
| Bachelor Data Science an... | 2023 | second supervisor | Tuk, M. (Mattias) | Usability of VR in the construction of category theoretical diagrams | |
| PhD Computer Science | 2023 | promotor | Dokter, K.P.C. (Kasper) | Scheduled Protocol Programming | |
| Bachelor Informatica | 2023 | supervisor | Wuhrer, J. (Jakob) | Extending methods for approximate determinization of weighted automata... | |
| Bachelor Informatica | 2023 | first supervisor | Tatman, A. S. (Andrew) | Formal Specification and Analysis of OpenJDK’s BitSet Class | |
| PhD Computer Science | 2022 | promotor | Chen, X. (Xueqin) | Information Diffusion Analysis in Online Social Networks Based on Deep... | |
| Bachelor Informatica | 2022 | second supervisor | Schaap, L. (Lennard) | Formalised Semantics of Lustre | |
| Master Computer Science | 2019 | first supervisor | Hijmans, Bart | Constructing Monitors for Reo Circuits | |
| Master Computer Science | 2019 | first supervisor | Xu, Yuanmin | Formal Analysis and Improvement of the PKMv3 and 5G AKA Protocols | |
| Bachelor Informatica | 2019 | supervisor | Turkenburg, R.T.C. (Ruben) | Greibach Normal Form for Weighted Context-Free Grammars [IW] | |
| Bachelor Informatica | 2019 | supervisor | Weijer, W. (Wessel) de | A Decision Procedure for Weighted Automata Equivalence [IW] | |
| Bachelor Informatica | 2019 | first supervisor | Bouman, J.Q. (Jeffrey) | Recovering from Controllers Failures in Software Defined Networks | |
| Master Computer Science | 2017 | first supervisor | Latour, A.L.D. (Anna) | Incremental Algorithms for Solving Stochastic Constraint Optimisation ... | |
| Bachelor Informatica | 2017 | first supervisor | Fokkinga, D.B. (Daniel) | Towards Learning Software Models: making documentation easier | |
| Bachelor Informatica | 2017 | first supervisor | Muinck Keizer, D. (David) de | A Control Flow Graph Generator for Java Code | |
| Master Computer Science | 2016 | second supervisor | Kappé, T.W.J. (Tobias) | Logic for Soft Component Automata | |
| Master Computer Science | 2016 | second supervisor | Mohorko, D. (Dennis) | Specifying and Analyzing Paradigm Diagrams through UML Diagrams | |
| Master Computer Science | 2016 | second supervisor | Nes, M.W. (Matthijs) van de | Developing Efficient Concurrent C Application Programs using Reo | |
| Bachelor Informatica | 2016 | second supervisor | Koschny, J. (Julius) | Design and Analysis of a Controller for the iRobot Create | |
| Bachelor Informatica | 2016 | second supervisor | Woerden, W. (Wessel) van | The Closest Vector Problem in Cyclotomic Lattices [IW] | |
| Bachelor Informatica | 2016 | first supervisor | Werf, U.M. (Ulbo) van der | Describing Heaps using Kleene algebra with Tests | |
| PhD Computer Science | 2015 | copromotor | Rot, J.C. (Jurriaan) | Enhanced Coinduction | |
| Bachelor Informatica | 2015 | first supervisor | Burger, J. (Jelco) | Context Free Guarded Languages: A System for Determining Guarded Strin... | |
| Master Computer Science | 2014 | first supervisor | Delft, L. (Leroy) van | Simulation and Mathematical Structures for Asynchronous Stream Circuit... | |
| Bachelor Informatica | 2014 | second supervisor | Vinkhuijzen, L. (Lieuwe) | Reducing Copying and Network Traffic in Reo Circuits | |
| Bachelor Informatica | 2014 | first supervisor | Jochems, J. (Jennifer) | Partial Derivatives for KAT Expressions | |
| Bachelor Informatica | 2014 | first supervisor | Rensen, M. (Michel) | An On-Line Parsing Algorithms for Conjunctive Grammars | |
| Bachelor Informatica | 2014 | first supervisor | Stuivenberg, A. (Arthur) | Equivalence Checking of Regular Expressions using Non-Deterministic Fi... | |
| PhD Computer Science | 2013 | copromotor | Gouw, C.P.T. (Stijn) de | Combining Monitoring with Run-time Assertion Checking | |
| Bachelor Informatica | 2013 | first supervisor | Buijsman, S. (Stefan) | Typing Streams | |
| Bachelor Informatica | 2013 | first supervisor | Kappé, T. (Tobias) | Linear Stream Circuits and Rational Streams: there and back again | |
| Bachelor Informatica | 2013 | first supervisor | Leuven, J. (Joost) | Testing of Channel Based Service Connectors | |
| Bachelor Informatica | 2013 | first supervisor | Rijn, S. (Sander) van | Implementing a Model Checker for Simple Recursive Languages | |
| Master Computer Science | 2012 | first supervisor | Hoek, R. (Robin) van der | Integrating Testing and Quality Assurance into the Agile Software Deve... | |
| Bachelor Informatica | 2012 | first supervisor | Delft, L. (Leroy) van | Efficient Equivalence Checking of Regular Expressions | |
| PhD Computer Science | 2011 | copromotor | Izadi, M. (Mohammad) | Model Checking of Component Connectors | |
| Master Computer Science | 2011 | supervisor | Rot, J.C. (Jurriaan) | Automated Verification of Pointer Programs | |
| Master Computer Science | 2011 | first supervisor | Nobakht, B. (Behrooz) | Deploying Active Objects onto Multicore | |
| PhD Computer Science | 2010 | copromotor | Grüner, A. (Andreas) | Testing Object Interactions | |
| Bachelor Informatica | 2010 | third supervisor | Rot, J.C. (Jurriaan) | A Pushdown System Representation for Unbounded Object Creation | |
| PhD Computer Science | 2009 | copromotor | Stam, A.W. (Andries) | Interaction Protocols in PARADIGM: Extensions to a Modeling Language t... | |
| Master Computer Science | 2009 | second supervisor | Stafleu, J. (Jasper) | UML Specification of and UML Tooling for Paradigm | |
| Master Computer Science | 2009 | first supervisor | Gouw, S. (Stijn) de and Helvensteijn, M. (Michiel) | Automatic Program Verification in Mist | |
| PhD Computer Science | 2008 | copromotor | Jacob, J.F. (Joost) | Domain Specific Modeling and Analysis | |
| PhD Computer Science | 2007 | copromotor | Guillen Scholten, J.V. (Juan) | Mobile Channels for Exogeneous Coordination of Distributed Systems | |
| Master Computer Science | 2007 | first supervisor | Rikkers, E. (Edwin) | Robocop Components Trust and Simulation | |
| Master Computer Science | 2006 | second supervisor | Wolf, L. (Leo) | Design of a System for Processing and Retrieving Medical Narrative Dat... | |
| Master Computer Science | 2005 | first supervisor | Bruin, J.S. (Jeroen) de | A Simulator for Component Based Systems | |
| Master Computer Science | 2003 | first supervisor | Cheung, K.H.E. (Kok Hing) | Business Modelling with Testbed and UML | |
| Master Computer Science | 2002 | supervisor | Wijk, H.J. (Henk Jan) van der | Gedistribueerde Architecturen en het ‘Mobil Channel Model' |