About
I am a computer scientist with a Ph.D. in Information Systems. My research applied formal methods to diverse security domains: I used bounded model checking to generate and classify attackers, built LLVM compiler passes that reduce timing side-channel leakage, and defined metrics for integrity in cyber-physical systems security. Since 2022, I have worked in industry, most recently running Elastic SIEM clusters for German healthcare institutions with Ansible, Docker Swarm, and CI/CD. I am learning Lean 4 and want to build tools that make formally verified code the default when AI writes software.