I'll report on some other projects at some point in the future...

hAInrich

hAInrich answering the question 'minimum admission grade' with a matching FAQ entry

A semantic search over the FAQ of our Master's programme in AI and Data Science, running entirely in your browser: MiniLM embeddings through ONNX in WebAssembly, the model in a worker, the embeddings precomputed. FAQ pages tend to fail exactly when you phrase your question differently from the person who wrote the answer, and this fixes that without your question leaving the page. It answers from human-checked text only, so it cannot invent a rule you then rely on.

It came out of Maximilian Overfeld's bachelor's thesis, and I have been carrying it on since.

hAInrich on the HeiCAD pages

Wesen

The Wesen GUI: creatures on a toroidal grid on the left, energy per source over time on the right

A CoreWars-style game: creatures live on a toroidal grid where food grows, and you write the AI that decides what one of yours does each turn — move, look around, eat, breed, attack, talk to its neighbours. Everyone's AI drops into the same world, and whichever creatures are still alive and holding the most energy at the end wins.

Reimer Backhaus and I started it in 2003. The current version runs on Python 3.10 and needs nothing but uv.

wesen on GitHub

PhD project

The symbol for the affine line, A to the power 1

My PhD applied homotopy theory to algebraic geometry: motivic cell structures for projective spaces over split quaternions, submitted in 2016. More on the PhD project page.

Theses

A hand opening a paperback book

I have supervised over 45 bachelor's and master's theses so far, and some titles are on the theses page.