Explore projects

Project by Tingting Zhang and supervised by Michael Behrisch.

Python package for legal case based reasoning based on a fortiori reasoning

Final version of the Smallcheck port from Haskell to Swift

PTSD classifier using paralinguistic analysis of my bachelor's thesis in artificial intelligence at Utrecht University.

The Quique experimental compiler

3D Brownian Dynamics for self-propelled spheres/rods in arbitrary deformable confinement

Utrecht Engine of Constraint Handling Rules with Priorities