About Pietro Monticone :mastodon:

• Studying #mathematics at the University of Trento (UniTn).
• Mathematical, statistical and computational modelling of #ComplexSystems at the Interdisciplinary Physics Team (InPhyT). 
• Developing free open source software in #JuliaLang at JuliaCommunity, InPhyT, UniTo-SEPI, JuliaEpi, JuliaHealth, JuliaGraphs and JuliaDynamics.
• Learning about interactive and automated theorem provers to formalise, digitise and verify mathematical statements.

Lists

Timeline

PietroMonticone has no activity yet