Santiago Zanella-Beguelin (Preferred)
, Santiago Zanella Beguelin
, Santiago Santiago Zanella Béguelin
Santiago Zanella-Beguelin
Principal Researcher, Microsoft Research
- Joined September 2019
Names
Emails
****@microsoft.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
PhD Advisor
Gilles Barthe
2006 – 2010
Expertise
Deep Learning
Present
Differential Privacy
Present
Theorem Proving
Present
Program Verification
Present
Formal Methods
Present
Programming Languages
Present
Security and Privacy
Present