I am a postdoc in the group of Stefan Kebekus. My main interest lies in algebraic geometry, algebraic number theory and formalization of mathematics.
From 2017 till 2018 I was a postdoc of Carel Faber in Utrecht (NL). From 2013 till 2017 I was a PhD student in Nijmegen (NL), supervised by Ben Moonen.
Current research topics include: formalization of algebraic geometry, homological algebra, and condensed mathematics; applications of o-minimality to algebraic geometry/topology; in particular, applications of o-minimality to the theory of periods and motives. I am actively involved in the Lean community. Right now I'm leading the Liquid Tensor Experiment following up on a challenge by Peter Scholze.
If you want to learn more about Lean, here's a great place to find guides/resources/tutorials/chat/etc.
@: | initials (funny symbol) math.uni-freiburg.de
(initials = jmc ) — PGP keys: [public] [private] |
---|---|
A: |
Room 425 Albert–Ludwigs-Universität Freiburg Mathematisches Institut Ernst-Zermelo-Straße 1 79104 Freiburg im Breisgau Deutschland |
Course | Semester |
---|---|
Assistent for Funktionentheorie | Summer 2021 |
Teaching: Coxeter Groups and Lie Algebras | Winter 20/21 |
Assistent for Introduction to Algebraic Curves | Summer 2020 |
Assistent for Mathematics for Natural Scientists II | Summer 2020 |
Assistent for Cohomology of Algebraic Varieties | Winter 19/20 |
Assistent for Mathematics for Natural Scientists I | Winter 19/20 |
Seminar Local Fields | Summer 2019 |
Linear Algebra 2 | Summer 2019 |
My PhD thesis: On ℓ-adic compatibility for abelian motives & the Mumford–Tate conjecture for products of K3 surfaces [Erratum]. Completed in the summer of 2017 under the supervision of Ben Moonen.
I wrote my master's thesis, titled Algebraic cycles, Chow motives, and L-functions, in the spring of 2013 under the supervision of Robin de Jong.
I wrote my bachelor's thesis, titled Tannaka Duality for Finite Groups, in the spring of 2011 under the supervision of Lenny Taelman.