Projects:

• CertiCoq-Wasm [CoqPL'24] [abstract] [slides] [code] [demo]

Previously:

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

Find me elsewhere on:

• Github

Please reach out:

• Mail: womeier@posteo.de