Stefan Zetzsche

Researcher, Amazon
Joined
April 2025

Names

Stefan Zetzsche (Preferred)

Emails

****@amazon.co.uk (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
Amazon (amazon.co.uk)
2022 – Present
PhD student
Department of Computer Science, University College London, University of London (cs.ucl.ac.uk)
2018 – 2023
MS student
Mathematics, Universität Hamburg (uni-hamburg.de)
2016 – 2018

Advisors, Relations & Conflicts

PhD Advisor
Alexandra Silva
2018 – 2023

Expertise

Theorem proving
Present
Dafny
Present
Formal methods
Present
Automata
Present
Verification
Present

Publications

Co-Authors