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!

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