About:

• I am currently a Software engineer in Munich, Germany.
• Previously, I did my masters in CS at AU in Aarhus (2024), and my bachelors at FAU in Erlangen (2022).
• You can find me on GitHub and Codeberg.

Projects:

• Verified WebAssembly backend for CertiRocq [CPP'25] [CPP'25 slides] [demo] [code]
• Verified local-coalescing for Wasm binaries [code]

Invitation to reach out:

• Inspired by Patrick McKenzie's standing invitation, I invite you to reach out.
• Mail: womeier@posteo.de