Benedikt Stock
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
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 (submitted)
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 (since MT21)
- A3: Rings and Modules at New College (HT22)
- Tutor at the Mathematical Institute, Oxford
- C1.1 Model Theory (MT22)
- C1.1 Model Theory (MT22)
- Teaching Assistant at the Mathematical Institute, Oxford
- B1.1 Logic (MT20, MT21)
- B1.2 Set Theory (HT21)
- B3.1 Galois Theory (MT21)
- B3.4 Algebraic Number Theory (HT22)
- Teaching Assistant at Jacobs University Bremen
- Advanced Calculus (Fall 2018)
- Algorithms and Data Structures (Spring 2019)
- Computability and Complexity (Fall 2020)
Model Theory, Algebraic Number Theory