I’m a good reviewer!
Published:
Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.
Posts by Tags
AAAI
IJCAI
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
PhD
Books that helped me through my doctorate
Published:
Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.
It takes a village
Published:
As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.
acknowledgements
It takes a village
Published:
As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.
award
I’m a good reviewer!
Published:
Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.
“Can we fix it?” - winning an elevator pitch award
Published:
To my surprise, I won an award for public speaking!
benelearn
BNAIC/Benelearn 2019
Published:
Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.
bnaic
BNAIC/Benelearn 2019
Published:
Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.
combinatorial optimisation
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
conference
Moon milk
Published:
The first conferences I ever attended as a doctorate student were IJCAI 2017 and CP 2017, which both took place in Melbourne. At the time, I had a position as a visiting researcher at ICTEAM at Université catholique de Louvain. After the conference, three fellow doctorate students from UC Louvain and I travelled to Tasmania, for a two-and-a-half-day trip. It resulted in one of my favourite travel stories of all time.
I’m a good reviewer!
Published:
Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.
BNAIC/Benelearn 2019
Published:
Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.
Impressions of IJCAI 2019
Published:
This summer I got to attend the International Joint Conference on Artificial Intelligence (IJCAI) for the third year in a row!
“Can we fix it?” - winning an elevator pitch award
Published:
To my surprise, I won an award for public speaking!
constraint optimisation
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
constraint programming
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
constraint reformulation
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
defence
Defence time for Jeroen
Published:
I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.
Daniël defends his work
Published:
Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!
doctorate
Books that helped me through my doctorate
Published:
Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.
It takes a village
Published:
As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.
formal methods
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
generalised identifying code set problem (GICS)
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
graduation
Books that helped me through my doctorate
Published:
Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.
It takes a village
Published:
As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.
Daniël’s graduation
Published:
I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!
gratitude
Books that helped me through my doctorate
Published:
Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.
It takes a village
Published:
As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.
grouped independent support
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
ict.open
“Can we fix it?” - winning an elevator pitch award
Published:
To my surprise, I won an award for public speaking!
ijcai
Impressions of IJCAI 2019
Published:
This summer I got to attend the International Joint Conference on Artificial Intelligence (IJCAI) for the third year in a row!
in memoriam
In Memoriam: Fahiem Bacchus
Published:
Last weekend, we learned that professor Fahiem Bacchus had passed away. I was, and still am absolutely devastated to hear this news.
independent support
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
mentorship
In Memoriam: Fahiem Bacchus
Published:
Last weekend, we learned that professor Fahiem Bacchus had passed away. I was, and still am absolutely devastated to hear this news.
model counting
Workshop on Counting and Sampling, 2021 edition
Published:
Just like last year, the International Workshop on Counting and Sampling was held online, in conjunction with the SAT conference. Just like last year, I was honoured to be invited to submit an extended abstract to this workshop.
outreach
“Can we fix it?” - winning an elevator pitch award
Published:
To my surprise, I won an award for public speaking!
Informatics Ladies’ Day 2018
Published:
Op vrijdag 16 november 2018 organiseren VHTO (Landelijk expertisebureau meisjes/vrouwen en bèta/techniek) en LIAXX (het vrouwennetwerk van de opleiding Informatica aan Universiteit Leiden) weer een Informatics Ladies’ Day (ILD)!
presentation
Workshop on Counting and Sampling, 2021 edition
Published:
Just like last year, the International Workshop on Counting and Sampling was held online, in conjunction with the SAT conference. Just like last year, I was honoured to be invited to submit an extended abstract to this workshop.
reading
Books that helped me through my doctorate
Published:
Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.
research
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
Defence time for Jeroen
Published:
I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.
reviewing
I’m a good reviewer!
Published:
Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.
satisfiability
Introducing gismo: a tool for finding grouped independent supports
Published:
My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.
service
I’m a good reviewer!
Published:
Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.
students
Daniël’s graduation
Published:
I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!
Daniël defends his work
Published:
Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!
supervision
Defence time for Jeroen
Published:
I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.
teaching
Daniël’s graduation
Published:
I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!
Daniël defends his work
Published:
Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!
travel
Moon milk
Published:
The first conferences I ever attended as a doctorate student were IJCAI 2017 and CP 2017, which both took place in Melbourne. At the time, I had a position as a visiting researcher at ICTEAM at Université catholique de Louvain. After the conference, three fellow doctorate students from UC Louvain and I travelled to Tasmania, for a two-and-a-half-day trip. It resulted in one of my favourite travel stories of all time.
workshop
Workshop on Counting and Sampling, 2021 edition
Published:
Just like last year, the International Workshop on Counting and Sampling was held online, in conjunction with the SAT conference. Just like last year, I was honoured to be invited to submit an extended abstract to this workshop.