Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Combining Stochastic Constraint Optimization and Probabilistic Programming — From Knowledge Compilation to Constraint Solving
Published in Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), 2017
Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams
Published in 8th International Workshop on Statistical Relational AI (StarAI 2018), held in conjunction with IJCAI 2018, 2018
Stochastic Constraint Propagation for Mining Probabilistic Networks (extended abstract)
Published in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019
Stochastic Constraint Propagation for Mining Probabilistic Networks
Published in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019
Programming a Stochastic Constraint Optimisation Algorithm, by Optimisation
Published in Workshop Data Science meets Optimisation (DSO), held in conjunction with IJCAI 2019, 2019
Better Caching for Better Model Counting (extended abstract)
Published in International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020
Stochastic Constraint Optimisation with Applications in Network Analysis (extended abstract)
Published in International Workshop on Model Counting (MCW), held in conjunction with SAT 2020, 2020
Caching in Model Counters: A Journey through Space and Time (extended abstract)
Published in Workshop on Counting and Sampling, held in conjunction with SAT 2021, 2021
Exact stochastic constraint optimisation with applications in network analysis
Published in Artificial Intelligence, 2022
Stochastic Constraint Optimisation with Applications in Network Analysis (extended abstract)
Published in Workshop on Counting and Sampling 2022, in conjunction with FLoC 2022 and SAT 2022, 2022
Optimal decision-making under constraints and uncertainty (dissertation)
Published in Leiden University, 2022
Solving the Identifying Code Set Problem with Grouped Independent Support
Published in Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, 2023
Solving the Identifying Code Set Problem with Grouped Independent Support (extended abstract)
Published in The 22nd workshop on Constraint Modelling and Reformulation (ModRef 2023), in conjunction with CP 2023, 2023
SharpVelvet
Published in github, 2024
Paper Title Number 5, with math \(E=mc^2\)
Published in GitHub Journal of Bugs, 2024
This paper is about a famous math equation, \(E=mc^2\)
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing (preprint)
Published in arXiv, 2024
talks
ICT.Open 2019: Elevator Pitch Competition & regular talk: Making optimal decisions under constraints and uncertainty
Published:
More information about the competition here. More information about the work here
Arizona State University: Solving the Identifying Code Set Problem with Grouped Independent Support
Published:
teaching
Physics Laboratory
Graduate course, University of Amsterdam, 2009
A student assistant is a Bachelor student who assists the lecturer of a course. This is a paid position. My responsibilities included:
Artificial Intelligence
Undergraduate course, Leiden University, 2015
A student assistant is a Master student who assists the lecturer of a course. This is a paid position.
Reinforcement Learning
Graduate course, Leiden University, 2018
An assistant lecturer is a PhD student who assists the lecturer of a course and has responsibilities that go beyond what is typically expected of a PhD student or other teaching assistant.
Neural Networks and Deep Learning
Graduate course, Leiden University, 2018
A teaching assistant (TA) is a PhD student who assists the lecturer of a course.
Social Network Analysis for Computer Scientists
Graduate course, Leiden University, 2020
A student assistant is a Master student who assists the lecturer of a course. This is a paid position. As a student assistant, my responsibilities included:
Master student supervision
Student supervision, Leiden University, 2021
I supervised the following Master students for their 18 ECTS Research Project and their 42 ECTS Master Project: