Work

14 entries — commercial engagements, open-source contributions and RWTH coursework.

01 · All entries

2026 — present · Developer ToolingOpen source

Grimoire

A package manager for AI-agent configuration. Teams package the practices that work — skills, rules, agents, MCP servers — and every colleague gets them in whichever coding agent they already use, pinned by digest and reviewed before it lands.

RustTypeScriptPython
2025 — present · Developer ToolingOpen source

OCX

A package manager for pre-built binaries distributed over OCI registries — install a toolchain with one command, switch versions instantly, and run builds in a clean, reproducible environment.

RustPythonStarlark
2023 · Master ThesisRWTH

Privacy–Preserving Data Discovery in Distributed Health Networks with Dynamic Consent

A distributed health-data network that answers queries by aggregating results instead of data, so records never leave the institution. Scales to hundreds of sites and ten million records in thirty seconds.

RustCPython
2015 — 2016 · Bachelor ThesisRWTH

Integer Program Solving Call Tree Reversal

Call tree reversal is NP-complete and the established heuristics cannot be tuned. I formulated it as an integer program, which makes the memory-runtime trade-off a parameter and extends cleanly to result checkpointing.

VagrantCMakeCMPL
2021 · Open Source ContributionOpen source

Microsoft's C++ Standard Library Contribution

Two of three pull requests merged into Microsoft's C++ standard library: a bug fix, and a build change that untangled a circular binary dependency on boost and dropped the package-manager requirement.

GitHubGitHub ActionsGit
2019 — 2022 · BlockchainOpen source

L1 Blockchain Engineering

CryptoNote forks were each rebuilding the same improvements in isolation. Galaxia consolidated them into reusable libraries and a config-driven node — 200+ nodes on the main chain, and components adopted by other chains.

CC++C#
2015 · Algorithmic Graph TheoryRWTH

An Overview To The Excluded Grid Theorem

A survey of Robertson and Seymour's Excluded Grid Theorem, working through Julia Chuzhoy's improved and simplified proof and the techniques it rests on.

2019 · BlockchainOpen source

PoW Algorithm Optimizations

An optimised closed-source miner breaks the fairness a proof-of-work chain depends on. I fixed an exploit in the hash algorithm and published a faster OpenCL implementation so every miner had the same speed.

CC++OpenCL
2018 — 2019 · BlockchainOpen source

Network Improvements and Security Fixes

Found and fixed defects in TurtleCoin's network protocol, database layer and block verification, hardening the consensus path of a live CryptoNote chain.

RocksDBDockerGitHub
2018 — 2019 · Geo-Information ServiceCommercial

WMS Data Extraction

A valuation firm was copying ground-zone data out of a WMS service by hand in Qgis. I mapped the process to an automated pipeline: months of work became about a day, with fewer errors and room for more sources.

QtQgisOSM
2017 · Complexity TheoryRWTH

Das Graph Genus Problem ist NP-Vollständig

A walk-through of Thomassen's proof that the Graph Genus Problem is NP-complete, drawing out the structures the reduction depends on.

2016 · Parallel ProgrammingRWTH

Parallel Design Patterns

A survey of design patterns for bringing structured concurrency into existing software, categorised by domain and compared against each other for different application cases.

2012 · Game ProgrammingCommercial

iOS App Development

An iOS arcade game built with two fellow students, an arcade spin-off of Dolphin Olympics. It did not find an audience; it did teach us to plan, build and actually ship a project end to end.

XcodeCocosApp Store
2013 · Computer GraphicsRWTH

Srsly Wicked Pinball

A 3D pinball game built for graphics and physics rather than gameplay: Bullet rigid-body simulation, modern shading, and a table whose composition, materials and rules live in XML and Lua.

QtOpenGLBullet Engine