👁 @pitmonticone
pitmonticone Follow
pitmonticone Follow
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
-
University of Trento
- Trento, Italy
- @PietroMonticone
- @PietroMonticone
- @pietromonticone.bsky.social
Highlights
- Pro
Organizations
👁 @NVIDIAGameWorks👁 @JuliaGraphs
👁 @JuliaDynamics
👁 @leanprover-community
👁 @StatisticalRethinkingJulia
👁 @JuliaCommunity
👁 @InPhyT
👁 @JuliaHealth
👁 @DoriaLab
👁 @UniTo-SEPI
👁 @BayesianDataAnalysisJulia
👁 @NeuronalDynamicsJulia
👁 @JuliaEpi
👁 @JuliaTrustworthyAI
👁 @TidierOrg
👁 @FormalMathematicsLab