I am interested in representation theory, algebraic geometry, and commutative algebra and am working with Steven Sam.
I wrote my BSc. thesis with Ivan Penkov; it was titled "Loewy Lengths of Indecomposable Injective Objects in Certain Universal Tensor Categories". Previously, I was also interested in interactive theorem proving; however I am no longer working on this.
Articles, software, etc
-
Diophantine Equations and the DPRM Theorem
(with Jonas Bayer, Marco David, Benedikt Stock, Yuri Matiyasevich, Dierk Schleicher)
Arch. Formal Proofs (2022). -
Digit Expansions
(with Jonas Bayer, Marco David, Benedikt Stock)
Arch. Formal Proofs (2022). -
The DPRM Theorem in Isabelle
(with Jonas Bayer, Marco David, Benedikt Stock, Dierk Schleicher)
LIPIcs. Leibniz Int. Proc. Inform., 141, (ITP 2019), pp. 33:1-33:7 (2019).