Yannik Schnitzer

PhD student, Department of Computer Science, University of Oxford

  • Joined May 2022

Names

Yannik Schnitzer (Preferred)

Emails

****@stud.uni-saarland.de (Confirmed)
,
****@cs.ox.ac.uk (Confirmed)

Personal Links

Career & Education History

PhD student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2023 – Present
 
MS student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2022 – 2023
 
Undergrad student
Universität des Saarlandes (uni-saarland.de)
2019 – 2022
 

Advisors, Relations & Conflicts

Coauthor
2022 – Present
 
Coauthor
2019 – Present
 

Expertise

Formal Verification
2021 – Present
 
Neural Network Verification
2021 – Present
 
Temporal Logics
2021 – Present