76 lines
No EOL
5.4 KiB
TeX
76 lines
No EOL
5.4 KiB
TeX
\project thesis
|
|
\startcomponent acknowledgements
|
|
|
|
\startchapter
|
|
[title={Acknowledgements},
|
|
reference=chap:acknowledgements]
|
|
|
|
Foremost, I would like to thank my supervisors.
|
|
Having three of them ensured that there were always enough ideas to work on, theory to understand, papers to review, seminars to attend, and chats to have.
|
|
Frits, thank you for being a very motivating supervisor, pushing creativity, and being only a few meters away.
|
|
It started with a small puzzle (trying a certain test algorithm to help with a case study), which was a great, hands-on start of my Ph.D..
|
|
You introduced me to the field of model learning in a way that showcases both the theoretical and practical aspects.
|
|
|
|
Alexandra, thanks for introducing me to abstract reasoning about state machines, the coalgebraic way.
|
|
Although not directly shown in this thesis, this way of thinking has helped and you pushed me to pursuit clear reasoning.
|
|
Besides the theoretical things I've learned, you have also taught me many personal lessons inside and outside of academia; thanks for inviting me to London, Caribbean islands, hidden cocktail clubs, and the best food.
|
|
And thanks for leaving me with Daniela and Matteo, who introduced me to nominal techniques, while you were on sabbatical.
|
|
|
|
Bas, thanks for broadening my understanding of the topics touched upon in this thesis.
|
|
Unfortunately, we have no papers together, but the connections you showed to logic, computational learning, and computability theory have influenced the thesis nevertheless.
|
|
I am grateful for the many nice chats we had.
|
|
|
|
I would like to thank the members of the manuscript committee, Bart, Ana, Falk, S\l{}awek, and Daniela.
|
|
Reading a thesis is undoubtedly a lot of work, so thank you for the effort and feedback you have given me.
|
|
Thanks, also, to the additional members coming to {\nl Nijmegen\en} to oppose during the defence, Jan Friso, Jorge, and Paul.
|
|
|
|
On the first floor of the Mercator building, I had the pleasure of spending four years with fun office mates.
|
|
Michele, thanks for introducing me to the Ph.D. life, by always joking around.
|
|
Hopefully, we can play a game of Briscola again.
|
|
Alexis, many thanks for all the tasty {\it\nl proeverijen,\en} whether it was beers, wines, {\nl poffertjes, kroketten\en}, or anything else.
|
|
Your French influences will be missed.
|
|
Niels, thanks for the abstract nonsense and bashing on politics.
|
|
|
|
Next to our office, was the office with Tim, with whom I had the pleasure of working from various coffee houses in Nijmegen.
|
|
Further down the corridor, there was the office of Paul and Rick.
|
|
Paul, thanks for being the kindest colleague I've had and for inviting us to your musical endeavours.
|
|
Rick, thanks for the algorithmic sparring, we had a great collaboration.
|
|
Was there a more iconic duo on our floor?
|
|
A good contender would be Petra and Ramon.
|
|
Thanks for the fun we had with ioco, together with Jan and Mari\"{e}lle.
|
|
Nils, thanks for steering me towards probabilistic things and opening a door to Aachen.
|
|
I am also very grateful to Jurriaan for bringing back some coalgebra and category theory to our floor, and hosting me in London.
|
|
My other co-authors, Wouter, David, Bartek, Micha\l{}, and David, also deserve many credits for all the interesting discussion we had.
|
|
Harco, thanks for the technical support.
|
|
Special thanks go to Ingrid, for helping with the often-overlooked, but important, administrative matters.
|
|
|
|
Doing a Ph.D. would not be complete without a good amount of playing kicker, having {\nl borrels\en}, and eating cakes at the iCIS institute.
|
|
Thanks to all of you, Markus, Bram, Marc, Sam, Bas, Joost, Dan, Giso, Baris, Simone, Aleks, Manxia, Leon, Jacopo, Gabriel, Michael, Paulus, Marcos, Bas, and Henning.
|
|
\footnote[random]{In no particular order. These lists are randomised.}
|
|
|
|
Thanks to the people I have met across the channel (which hopefully will remain part of the EU): Benni, Nath, Kareem, Rueben, Louis, Borja, Fred, Tobias, Paul, Gerco, and Carsten,
|
|
for the theoretical adventure, but also for joining me to {\it Phonox} and other parties in London.
|
|
I am especially thankful to Matteo and Emanuela for hosting me many times and for Hillary and Justin for accommodating me for three months each.
|
|
|
|
I had a lot of fun at the IPA events.
|
|
I'm very thankful to Tim and Loek for organising these events.
|
|
Special thanks to Nico and Priyanka for organising a Halloween social event with me.
|
|
Also thanks to all the participants in the IPA events, you made it a lot of fun!
|
|
My gratitude extends to all the people I have met at summer schools and conferences.
|
|
I had a lot of fun learning about different cultures, languages, and different ways of doing research.
|
|
Hope we meet again!
|
|
|
|
Besides all the fun research, I had a great time with my friends and family.
|
|
We went to nice parties, had excellent dinners, and much more; thanks, Nick, Edo, Gabe, Saskia, Stijn, Sandra, Geert, Marco, Carmen, and Wesley.
|
|
Thanks to Marlon, Hannah, Wouter, Dennis, Christiaan, and others from \#RU for {\nl borrels\en}, bouldering, and jams.
|
|
Thanks to Ragnar, Josse, Julian, Jeroen, Vincent, and others from the BAPC for algorithmic fun.
|
|
|
|
Thanks to my parents, Kees and Irene, and my brother, David, and his wife, Germa, for their love and support.
|
|
My gratitude extends to my family in law, Ine, Wim, Jolien and Jesse.
|
|
My final words of praise go to Tessa, my wife, I am very happy to have you on my side.
|
|
You inspire me in many ways, and I enjoy doing all the fun stuff we do.
|
|
Thank you a lot.
|
|
|
|
|
|
\stopchapter
|
|
\stopcomponent |