Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
Marcel Stimberg
mstimberg
Research engineer in computational neuroscience
ISIR / Sorbonne Université Paris, France