Stefan Zetzsche

Pronouns: he/him

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
2018 – 2023
 

Expertise

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