Yannik Schnitzer (Preferred)
Yannik Schnitzer
PhD student, Department of Computer Science, University of Oxford
Joined
May 2022
Names
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
Expertise
Formal Verification
2021 – Present
Neural Network Verification
2021 – Present
Temporal Logics
2021 – Present
Publications
Co-Authors
- Alessandro Abate
- Bernd Finkbeiner
- Christian Micheletti
- Christoph Weinhuber
- Coen de Visser
- Cornelis C. de Visser
- David Parker
- Diptarko Roy
- Giuseppe De Giacomo
- Holger Hermanns
- Jasper J. van Beers
- Manuel Mazo Jr.
- Maximilian A. Köhl
- Maximilian Schwenger
- Mirco Giacobbe
- Moshe Y. Vardi
- Nikolaus Vertovec
- Prashant Solanki
- Rudi Coppola
- Sebastian Biewer