I am universitair docent (assistant professor) at Utrecht University. My main interests lie in arithmetic geometry and formalization of mathematics.
From 2018 till 2023 I was a postdoc in the group of Stefan Kebekus in Freiburg (DE). 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; categorical logic and 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. Recently, I have lead 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.
I greatly appreciate (anonymous) feedback on my lectures, talks, and other activities.
@: | j.m.commelin@uu.nl |
---|---|
A: |
Room HFG4.17 Utrecht University Mathematisch Instituut Budapestlaan 6 3584CD Utrecht Nederland |
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 |
MacLane's Q'-construction and Breen–Deligne resolutions (draft). An unpublished note written as part of the Liquid Tensor Experiment.
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.