Hi!

I'm Christian. Somehow, you've landed on my small corner of the internet. Here, I share my projects and thoughts about stuff that interest me. Feel free to explore and connect with me!

Stereo Reconstruction from Scratch

A step-by-step guide to stereo reconstruction

Formalized Zeckendorf Theorem

Verified formalization of Zeckendorf's theorem in Isabelle/HOL

Efficient Matrix Transpose

Implementation and benchmarking matrix transpose

GPU Matrix Transpose

Implementation and benchmarking of parallelized matrix transpose

Sodoku Solver

Step-by-step tutorial on how to build a real-time Sudoku solver