Formalization of Drinfeld Modules
Talk, Leaning In! 2025, Berlin, DE
Talk on my joint work with María Inés de Frutos Fernández on the formalization of Drinfeld Modules.
Talks and presentations
Efficient Forward Reasoning for Aesop
Talk, Lean Together,
Talk on my joint work with Jannis Limperg on incremental forward reasoning.
The Northcott property of zeta functions over families of extensions
Talk, Québec-Maine conference for number theory, Québec QC, CAN
Talk on my joint work with Matilde Lalin on the Northcott property of Dedekind $\zeta$-functions over number fields.
On the Northcott property of zeta functions over function fields
Talk, MOBIUS Analytic Number Theory, Montréal QC, CAN
Talk on my joint work with Wanlin Li and Matilde Lalin on the Northcott property of $\zeta$-functions over function fields.
Number theory in a parallel world (translated)
Talk, Clubmath de l’Université de Montréal., Montréal QC, CAN
Talk exploring elementary number theory results over the field of functions $\mathbb F_q (t)$.