Explore projects

AI BSc project in October 2025 conducted by Jan van der Heide, Supervised by Michael Behrisch

This MBI Master Thesis Project is conducted in 06/2024 by Mick Sneekes and supervised by Yuncong Yu and Michael Behrisch

This is a snapshot of https://github.com/Mikolaj/horde-ad from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage. Primarily written by Mikołaj Konarski.

This is a snapshot of https://git.tomsmeding.com/ox-arrays from the time of publication of https://arxiv.org/abs/2507.12640 on UU-owned storage.

This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.

This is a mirror of https://github.com/tomsmeding/ad-dualrev-th/tree/artifact on UU-owned storage. This is the artifact for https://dl.acm.org/doi/10.1145/3571247 .

OpenComm: An Open-Source Research Tool for Annotating and Analyzing Socioemotional Communication