Benjamin Beurdouche@beurdouche 
formal-verification top 1 formal-methods top 10 dependent-types top 100

Expertise

Global rank

# 125,655

Location

None
Languages
f-sharp
swift5
F#
OCaml
Products
messeng...
Topics
formal-...
formal-...
depende...
theorem...
smt
messeng...
otr
instant...
end-to-...
mobile-...

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.