About me:

• I am currently a Software engineer in Munich, Germany.
• M.Sc. Computer Science at AU in Aarhus, Denmark (2024).
• B.Sc. Computer Science at FAU in Erlangen, Germany (2022).
• This is me on GitHub.

Invitation to reach out:

• I'm interested in Wasm, Compilers, PL, Verification, Startups, etc. If you want to talk about that, I want to talk to you!
  If you have built sth. in that area, please tell me about it!
  I like getting e-mail and will answer every one I get. See the address below.
• This is inspired by Patrick McKenzie's standing invitation.

Past projects:

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

Contact:

• Mail: womeier@posteo.de