Prof. Dr. Michael Stoll

Lehrstuhl für Computeralgebra
Mathematisches Institut
Universität Bayreuth
95440 Bayreuth, Germany

Büro: 3.2.02.739 im Gebäude NW II
Sprechstunde: Nach Vereinbarung
Email: Michael.Stoll plus the usual ending (@uni-bayreuth.de)
Telefon: +49-(0)921-55 3387 oder 3388 (Katharina Ziegler, Sekretariat)
Public GPG Key
Github
ORCID

Lehre

Lehre im Wintersemester 2025/2026

⇒	Vorlesung „Lineare Algebra 1“
	Hier geht's zum Lernzentrum
⇒	Lecture Course „Foundations of Higher Mathematics“ (with Professor Grüne)
⇒	Oberseminar Arithmetische Geometrie (mit Prof. Dettweiler)

Lehre in Bayreuth (Wintersemester 2008/2009 bis Sommersemester 2025)

⇒	Mit Links zu Skripten

Course notes (of courses taught at Jacobs University)

Teaching at Jacobs University (Fall 2002 to Spring 2008)

Lehramt Gymnasium mit Mathematik

Informationen zum Studiengang

Forschung / Research

Papers and Preprints

People and Activities

Events

⇒	International Congress of Mathematicians 2026, Philadelphia, USA, July 23 – 30, 2026.
⇒	ChaBONNty Conference, Max-Planck-Institut für Mathemati, Bonn, June 29 – July 3, 2026.
⇒	Arithmetic Statistics for Algebraic Objects, Mathematisches Forschungsinstitut Oberwolfach, November 9 – 14, 2025.
⇒	Past Events
⇒	Rational Points Workshops: 2005 \| 2007 \| 2010 \| 2013 \| 2015 \| 2017 \| 2019 \| 2022 \| 2023 \| 2025

Talk notes

Memberships

⇒	Mitglied des Auswahlausschusses des Bundeswettbewerbs Mathematik (2008–)
⇒	Ordentliches Mitglied der Sektion III der Bayerischen Akademie der Wissenschaften (2020–)
	(Regular member of the Bavarian Academy of Sciences and Humanities)

Editor Positions (and similar)

⇒	Reviewer for contributions to Mathlib, the mathematical library of the Lean Theorem Prover (2024–)
⇒	Experimental Mathematics (2024–)
⇒	International Journal of Number Theory (2020–)
⇒	Journal de Théorie des Nombres de Bordeaux (2020–)

Genus 2 Curve Records

⇒	A Genus 2 Curve over Q with (at least) 642 Rational Points
⇒	A Genus 2 Curve over Q with a Hyperelliptic Torsion Packet of Size 34

Computer Programs and Data

Magma related directory

Programs (e.g. ratpoints)

Genus 2 curves with small odd discriminant

Michael Stoll, 12. November 2025