Regular biography
Benedikt Stock is a Research Fellow at the Mathematical Institute, University of Oxford, within the Department of MATH. His research interests include Model Theory and Algebraic Number Theory. Stock has contributed to several publications, including works on mathematical proofs and the DPRM theorem. He has also engaged in teaching activities at the Mathematical Institute, Oxford, and at Jacobs University Bremen, covering subjects such as Logic, Set Theory, and Algebraic Number Theory. His profile page provides further details on his research and academic contributions.
Scholar-generated biography
Benedikt Stock is a researcher at the University of Oxford, specializing in Logic and Model Theory. His work explores foundational aspects of mathematics, including formal verification, proof theory, and the interplay between algebraic structures and logical systems. He has contributed to the formalization of mathematical proofs using tools like Isabelle, with a focus on Diophantine equations, the DPRM theorem, and the Galois characterisation of -adically closed fields. His research also extends to the philosophy of mathematical proof and its historical development, as seen in his publications on the evolution of mathematical reasoning across generations.