Homepage of Wijnand van Woerkom

I am a fourth year PhD candidate at Utrecht University, supervised by Henry Prakken, Davide Grossi, and Bart Verheij. My work is concerned with explaining outcomes of data-driven machine-learning applications to their end users, particularly in contexts where the decisions have ethical, legal, or societal implications. This project is part of the Hybrid Intelligence Centre, which is focused on the combination of machine and human intelligence.

My research interests include interpretable machine learning, responsible artificial intelligence, and case-based reasoning. Some other areas that I have worked in are mathematical logic, category theory, type theory, and term rewriting.


UU Profile

Publications

A Case-Based-Reasoning Analysis of the COMPAS Dataset [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
Thirty-seventh International Conference on Legal Knowledge and Information Systems (JURIX), 2024.
Nominated for best student paper award.

A Fortiori Case-Based Reasoning: From Theory to Data [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
Journal of Artificial Intelligence Research (JAIR), 2024.

The Frobenius equivalence and Beck–Chevalley condition for algebraic weak factorisation systems [pdf, url].
Wijnand van Woerkom, Benno van den Berg.
arXiv, 2024.

Hierarchical a Fortiori Reasoning with Dimensions [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
Thirty-sixth International Conference on Legal Knowledge and Information Systems (JURIX), 2023.

Hierarchical Precedential Constraint [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
Nineteenth International Conference on Artificial Intelligence and Law (ICAIL), 2023.

Justification in Case-Based Reasoning [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
First International Workshop on Argumentation for eXplainable AI (ArgXAI), 2022.

Landmarks in Case-Based Reasoning: From Theory to Data [pdf, url].
Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij.
First International Conference on Hybrid Human-Machine Intelligence (HHAI), 2022.
Nominated for best paper award.

Algebraic models of type theory [pdf, url].
Wijnand van Woerkom; supervised by Benno van den Berg.
Master of Logic thesis, University of Amsterdam, 2021.

Number representations and term rewriting [pdf, url].
Boas Kluiving, Wijnand van Woerkom; supervised by Inge Bethke and Alban Ponse.
arXiv, 2016.

Talks

On the 2nd of May 2022 I gave a talk at an informal workshop on algebraic weak factorisation systems as part of the Dutch Categories And Types Seminar, titled The Frobenius property for algebraic weak factorisation systems. Click the thumbnail below to see a recording of the talk.

Students

As part of my work at Utrecht University I have supervised the following bachelor thesis projects: