Stefan Zetzsche
Applied Scientist Ii @Amazon Web Services (AWS)
London, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Dec 2022 — Present
Applied Scientist Ii @Amazon Web Services (AWS)
View department →
London, GB
Returned to the Dafny team within the Automated Reasoning Group (ARG)\\\\n· ARG uses formal methods to provide AWS customers with provable security\\\\n· Dafny is a verification-aware programming language
EDUCATION
2018 — 2023
UCL
Doctor of Philosophy - PhD, Computer Science
2014 — 2016
University of Hamburg
Bachelor of Science - BS, Mathematics and Computer Science
2016 — 2018
University of Hamburg
Master of Science - MS, Mathematics, First-Class Honours with Distinction, 1.0
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.