Denis Merigoux@denismerigoux 
PhD student at Inria, specialized in programming language design
formal-verification top 100 wasi top 100 dependent-types top 100

Expertise

Global rank

# 142,744

Location

Paris
Languages
f-sharp
OCaml
F#
Rust
Products
webasse...
Topics
formal-...
wasi
depende...
theorem...
smt
formal-...
aot-com...
jit
sandbox
codegen

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.