Skip to main content
University of Oxford logo Home

Search form

  • Log in
  • Members
  • About Us
    • Contact Us
    • Travel & Maps
    • Our Building
    • Supporting Mathematics
    • Alumni
    • History
    • Art and Oxford Mathematics
    • News
    • Vacancies
    • Equality, Diversity & Inclusion
  • Study Here
    • Undergraduate Study
    • Postgraduate Study
    • Current Students
  • Research
    • Research Groups
    • Case studies
    • Faculty Books
  • Outreach
    • Posters
    • Oxford Mathematics Alphabet
    • Oxford Online Maths Club
    • It All Adds Up
    • Problem Solving Matters
    • PROMYS Europe
    • Oxfordshire Maths Masterclasses
    • Maths Week England
    • Outreach Information
    • Mailing List
  • People
    • Key Contacts
    • University People Search
    • People list
    • A Global Department
    • Research Fellowship Programmes
    • Professional Services Teams
  • Events
    • Conference Facilities
    • Public Lectures & Events
    • Departmental Seminars & Events
    • Special Lectures
    • Conferences
    • Summer Schools
    • Past Events
    • Alumni newsletters
    • Info for event organisers and attendees

Primary tabs

  • View(active tab)
  • Contact
picture of Benedikt Stock in front of a waterfall

Benedikt Stock

Pronouns
He / Him
Status
Postgraduate Student
Contact form
+44 1865 273565
ORCID iD
https://orcid.org/0000-0001-9280-4206
Research groups
  • Mathematical Logic

Address
Mathematical Institute
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG

Research interests

Model Theory, Algebraic Number Theory

Major / recent publications

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)

Teaching
  • 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)
       
  • 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)
Oxford Mathematics Twitter
Oxford Mathematics Facebook
Oxford Mathematics Instangram
Oxford Mathematics Youtube

© Mathematical Institute
Website Accessibility Statement
Website Privacy Policy & Cookies Statement

Good practice scheme
Athena SWAN silver award
Stonewall workplace equality
sfy39587stp18