... a mathematician from Germany. I work for ParityQC as a quantum compiler developer.
Previously I worked for the automotive industry (simulation data management) with five years of experience. I recieved my PhD in mathematics (Tauberian theorems, decay of waves) in 2017.
I mainly work with C++, Python, and Rust. Previously I also worked with TypeScript. I have some basic knowledge of Emacs Lisp, Standard ML, Lean, WebAssembly, and x86-64 Assembly.
As a hobby I am interested in computer aided theorem proving.


