Santiago Zanella-Beguelin (Preferred)
Santiago Zanella Beguelin
Santiago Zanella-Beguelin
Principal Researcher, Microsoft Research
Joined
September 2019
Names
,
Emails
****@microsoft.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
Microsoft Research (microsoft.com)
2021 – Present
Senior Researcher
Microsoft Research (microsoft.com)
2015 – 2021
Research Engineer
Inria (inria.fr)
2014 – 2015
Postdoctoral Researcher
Microsoft Research (microsoft.com)
2012 – 2014
Postdoctoral Researcher
IMDEA Software (software.imdea.org)
2010 – 2012
Advisors, Relations & Conflicts
Expertise
Deep Learning
Present
Differential Privacy
Present
Theorem Proving
Present
Program Verification
Present
Formal Methods
Present
Programming Languages
Present
Security and Privacy
Present
Publications
Co-Authors
- Aashish Kolluri
- Ahmed Salem
- Ahmed Salem 000
- Alfredo Pironti
- Aliaksandra Shysheya
- Amanda J. Minnich
- Andrew Paverd
- Andrey Rybalchenko
- Anitha Gollamudi
- Anshuman Suri
- Antoine Delignat-Lavaud
- Antti Honkela
- Aseem Rastogi
- Ashay Rane
- Aymeric Fromherz
- Barry Bond
- Benedikt Schmidt
- Benjamin Beurdouche
- Benjamin Grégoire
- Benjamin VanderSloot
- Blake Bullwinkel
- Boris Köpf
- Bryan Parno
- Carlos Luna
- Catalin Hritcu