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
    • Equality, Diversity and Inclusion
    • News
    • Vacancies
  • Study Here
    • Undergraduate Study
    • Postgraduate Study
    • Current Students
  • Research
    • Research Groups
    • Case Studies
    • Faculty Books
  • Outreach
    • Posters
    • Oxford Mathematics Alphabet
    • Oxford Online Maths Club
    • Oxford Maths Festival
    • It All Adds Up
    • Problem Solving Matters
    • MIORPA
    • PROMYS Europe
    • Oxfordshire Maths Masterclasses
    • Outreach Information
    • Mailing List
  • People
    • Key Contacts
    • People List
    • A Global Department
    • Research Fellowship Programmes
    • Professional Services Teams
  • Events
    • Venue Hire
    • Public Lectures & Events
    • Departmental Seminars & Events
    • Special Lectures
    • Conferences
    • Summer Schools
    • Past Events
    • Info for Event Organisers & Attendees

Primary tabs

  • View
  • Contact

Benedikt Stock

Pronouns
He / Him
Status
Postgraduate Student
+44 1865 273565
Contact form
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
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

Notices of the American Mathematical Society 71 (1), 2024

 

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)

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)
Research interests

Model Theory, Algebraic Number Theory

Facebook LinkedIn Bluesky X
TikTok Instagram YouTube
London Mathematical Society Good Practice Scheme Athena SWAN Silver Award (ECU Gender Charter) Stonewall Silver Employer 2022

© Mathematical Institute

Accessibility Statement


Privacy Policy

Cookies

sfy39587stp18