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.

Past projects:

• CertiCoq-Wasm [CPP'25] [CPP'25 slides] [demo] [code]

Invitation to reach out:

• I'm interested in Wasm, compilers, PL, verification and startups. If you want to talk about that, I want to talk to you!
• This is inspired by Patrick McKenzie's standing invitation.

Contact:

• Mail: womeier@posteo.de
• Signal: womeier.77