Computational Social Choice Group

Institute for Logic, Language & Computation

University of Amsterdam

- I was awarded an
*NWO Veni grant*. - I gave a talk at the
*3rd ILLC Workshop on Collective Decision Making*, in June 2019. - I gave a tutorial at
*PhDs in Logic XI*, in April 2019.

I'm a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

My research interests include the application of methods from *theoretical computer science*—in particular methods from *(parameterized) complexity theory*—to problems in *computational logic*, *artificial intelligence (AI)*, and *knowledge representation & reasoning (KRR)*.

In one of my current research projects, I investigate *judgment aggregation* procedures (in the area of *computational social choice*) using a *parameterized complexity* perspective. Another aim of this project is to further develop a parameterized complexity framework that takes into account *fixed-parameter tractable algorithms with access to a SAT oracle*.

Generally, I'm fascinated by all things related to
*computational complexity*—e.g.,
*parameterized complexity theory*,
the *Polynomial Hierarchy (PH)*,
*subexponential-time complexity*,
the *Exponential Time Hypothesis (ETH)*, and
*(parameterized) compilability*.

I wrote my PhD thesis—titled *"Parameterized Complexity in the Polynomial Hierarchy"*—at the Algorithms and Complexity Group at the Faculty of Informatics of the Technische Universität Wien.
I received my PhD in 2016.
My PhD thesis
was awarded the E.W. Beth Dissertation Prize 2017,
was shortlisted for the Heinz Zemanek Prize 2018, and
was nominated for the GI-Dissertationspreis 2016 of the German Informatics Society.

I have an Erdős number of 3.

- Since April 2017: postdoctoral researcher at the Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam.

(April 2017–March 2019: funded by a personal FWF Erwin Schrödinger grant.)

(From January 2020: funded by a personal NWO Veni grant.) - 2012–2017: PhD student and research assistant at the Algorithms and Complexity Group at the Technische Universität Wien, under supervision of Stefan Szeider. Graduated in 2016.
- 2010–2012: Studied
*Computational Logic*(MSc) in the European Master's Program in Computational Logic (EMCL), at the Technische Universität Dresden, the Free University of Bozen-Bolzano, and the Technische Universität Wien. - 2007–2010: Studied
*Linguistics*(BA) and*Cognitive Artificial Intelligence*(BSc) at Utrecht University. - 1988: Born in Hengelo, the Netherlands.

- SPC Member of AAAI 2020, the 34th AAAI Conference on Artificial Intelligence.
- PC Member of IJCAI 2019, the 28th International Joint Conference on Artificial Intelligence.
- PC Member of AAMAS 2019, the 18th International Conference on Autonomous Agents and Multiagent Systems.
- PC Member of AAAI 2019, the 33rd AAAI Conference on Artificial Intelligence.
- PC Member of EUMAS 2018, the 16th European Conference on Multi-Agent Systems.
- PC Member of COMSOC 2018, the 7th International Workshop on Computational Social Choice.
- PC Member of IJCAI-ECAI 2018, the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence.
- PC Member of AAMAS 2018, the 17th International Conference on Autonomous Agents and Multiagent Systems.
- PC Member of AAAI 2018, the 32th AAAI Conference on Artificial Intelligence.
- PC Member of IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence.
- PC Member of IJCAI 2016, the 25th International Joint Conference on Artificial Intelligence.
- Co-organizer of PhDs in Logic VII.
- Chair of ESSLLI 2014 StuS, the Student Session at ESSLLI 2014, the 26th European Summer School in Logic, Language and Information.
- Co-chair of ESSLLI 2013 StuS, the Student Session at ESSLLI 2013, the 25th European Summer School in Logic, Language and Information.

- Reviewing for conferences including
AAAI 2013, SAT 2013,
COCOON 2014, ECAI 2014, ISAIM 2014, SAT 2014,
IJCAI 2015, SAT 2015,
CCC 2016, ESA 2016,
AAMAS 2017, EC 2017, FOCS 2017, IPEC 2017, SAT 2017,
SAT 2018, WINE 2018,
STACS 2019,
and journals including
*ACM Transactions on Economics and Computation*,*ACM Transactions on Computation Theory*,*ACM Transactions on Computational Logic*,*Algorithmica*,*AIJ*,*Autonomous Agents and Multi-Agent Systems*,*Fundamenta Informaticae*,*JAIR*,*Journal of Computer and System Sciences*,*Journal of Logic, Language and Information*, and*Theoretical Computer Science*.

**Computational Complexity**, Master of Logic, University of Amsterdam, February-March 2019.**Algoritmen en Complexiteit**, BSc Informatica & BSc Wiskunde, University of Amsterdam, September-October 2018.**Computational Social Choice and Complexity Theory**, ESSLLI 2018, Sofia, Bulgaria, August 2018.**Computational Complexity**, Master of Logic, University of Amsterdam, February-March 2018.**Computational Complexity Analysis of Logic Problems**(project course), Master of Logic, University of Amsterdam, January 2017.