Benedikt Stock
Address
Mathematical Institute
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
Model Theory, Algebraic Number Theory
Mathematical Proof Between Generations
Bayer, J; Benzmüller, C; Buzzard, K; David, M; Lamport, L; Matiyasevich, Y; Paulson, L; Schleicher, D; Stock, B; Zelmanov, E
arXiv preprint arXiv:2207.04779 (submitted)
An Elementary Proof of the Local Kronecker-Weber Theorem
Koenigsmann, J; Stock, B
arXiv preprint arXiv:2206.05801
Diophantine Equations and the DPRM Theorem
Bayer, J; David, M; Stock, B; Pal, A; Matiyasevich, Y; Schleicher, D
Archive of Formal Proofs, 2022
Digit Expansions
Bayer, J; David, M; Pal, A; Stock, B
Archive of Formal Proofs, 2022
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)
- College Tutor
- Logic & Set Theory at Balliol College (2021/22)
- A3: Rings and Modules at New College (Hilary 2022)
- 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)
- B3.4 Algebraic Number Theory (Hilary 2022)
- Teaching Assistant at Jacobs University Bremen
- Advanced Calculus (Fall 2018)
- Algorithms and Data Structures (Spring 2019)
- Computability and Complexity (Fall 2020)