About Pietro Monticone :julia:

• 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

{username} has no activity yet