Benedikt Stock
Status:
Postgraduate Student
+44 1865 273565
Research groups:
Address
Mathematical Institute
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
Research interests:
Model Theory, Number Theory
Teaching:
- College Tutor
- Logic & Set Theory at Balliol College (2021/22)
- Logic & Set Theory at Balliol College (2021/22)
- Teaching Assistant at the Mathematical Institute, Oxford
- B1.1 Logic (Michaelmas 2020, Michaelmas 2021)
- B1.2 Set Theory (Hilary 2021)
- B3.1 Galois Theory (Michaelmas 2021)
- Teaching Assistant at Jacobs University Bremen
- Advanced Calculus (Fall 2018)
- Algorithms and Data Structures (Spring 2019)
- Computability and Complexity (Fall 2020)
Major / recent publications:
The DPRM Theorem in Isabelle
Bayer, J; David, M; Pal, A; Stock, B; Schleicher, D
10th International Conference on Interactive Theorem Proving (ITP 2019)
Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle
Bayer, J; David, M; Pal, A; Stock, B
12th International Conference on Intelligent Computer Mathematics (CICM 2019)