Software Developer

I tend to go deep into multiple topics. I especially enjoy making correct software and optimizing it. Thus, Cython, formal methods and Rust. After implementing cryptographic primitives in low level C with SIMD, I went for a PhD to really understand cryptography. You can find a summary here: https://research.wmz.ninja/projects/phd/index.html (not by me). I have spent too much time implementing and optimizing a Keplerian orbit simulator after playing Kerbal Space Program, I wrote multiple software project to help me learn Japanese, and I am now trying to improve Morse learning (WIP).