Explore projects

Docker image for grading Haskell assignments in Prairielearn

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.

Graphics pr2

"Agents for Preserving Privacy: Learning and Decision Making Collaboratively" Finalized Version of EUMAS '20 Paper. To Appear in Proceedings of European Conference on Multiagent Systems (EUMAS)