Santiago Zanella-Beg... @s-zanella 
I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
formal-verification top 10 formal-methods top 100 smt top 100

Expertise

Global rank

# 167,558

Location

Cambridge, UK
Languages
f-sharp
F#
OCaml
Topics
formal-...
formal-...
smt
depende...
theorem...
fuzzing
Securit...

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.