PietroMonticone

Physics at the University of Turin (UniTO);
Mathematical, statistical and computational modelling of complex systems at the Interdisciplinary Physics Team (InPhyT);
Developing FOSS at InPhyT, UniTO-SEPI, JuliaEpi, JuliaHealth, JuliaGraphs;
Working on NeuronalModelling.jl: a flexible and high-performance computational framework for the specification, calibration and simulation of quantitative single-neuron models;
Learning about automated theorem provers and interactive proof assistants to formalise, digitise and verify mathematical assertions.