Wolfgang Meier
Welcome on my site.
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