Computational Social Choice Group

Institute for Logic, Language & Computation

University of Amsterdam

- My PhD thesis was awarded the E.W. Beth Dissertation Prize 2017 for outstanding dissertations in the fields of logic, language, and information.
- I received an Erwin Schrödinger Fellowship from the Austrian Science Fund (FWF).
- My PhD thesis has been nominated for the GI-Dissertationspreis 2016 of the German Informatics Society.

I'm a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. My position is funded by a Erwin Schrödinger Fellowship of the Austrian Science Fund.

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.

I have an Erdős number of 3.

- Since April 2017: postdoctoral researcher and Erwin Schrödinger Fellow at the Institute for Logic, Language & Computation (ILLC) at the University of Amsterdam.
- 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.

- 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, SAT 2017,
and journals including
*Algorithmica*,*AIJ*,*JAIR*,*J. Auton. Ag. Multi-Ag. Syst.*,*TOCL*,*JCSS*, and*Fundamenta Informaticae*.

- Project course
**"Computational Complexity Analysis of Logic Problems"**, Master of Logic, University of Amsterdam, January 2017.