Welcome to the site of Wolfgang Meier.

I am currently studying Computer Science M.Sc. at AU in Aarhus, Denmark.

Projects:

• Verified WebAssembly backend for the CertiCoq compiler [CoqPL'24] [abstract] [slides] [code] [demo]

Find me elsewhere on:

• Github

Please reach out:

• Mail: womeier@posteo.de

Site last updated on 10 Apr, 2024.