Isaia Nisoli

My main research interest are Rigorous Computational Methods for Ergodic Theory, i.e., using computer aided estimates to prove results on the statistical properties of dynamical systems and stochastic processes.