Projects:

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

Previously:

• M.Sc. Computer Science at AU in Aarhus, Denmark (2024).
• B.Sc. Computer Science at FAU in Erlangen, Germany (2022).

Find me elsewhere on:

• GitHub

Please reach out:

• Mail: womeier@posteo.de