Projects:
- CertiCoq-Wasm [CPP'25] [demo] [code] [CoqPL'24] [CoqPL'24 slides]
Previously:
- M.Sc. Computer Science at AU in Aarhus, Denmark.
- B.Sc. Computer Science at FAU in Erlangen, Germany.
Find me elsewhere on:
Please reach out:
- Mail: womeier@posteo.de