# Biography

Gianni Arioli is a full professor at the Department of Mathematics of the Politecnico di Milano, Italy. He obtained his Master Degree in Physics at the University of Milan in 1990 with a dissertation entitled "Nonlinear dynamical systems and classical electrodynamics" under the supervision of Luigi Galgani. He obtained his PhD in Mathematics at the University of Milan in 1996 with a dissertation entitled "Existence of solutions of differential equation of variational type" under the supervision of Bernhard Ruf. His current research is on computer assisted proofs for differential equations.

# Research interests

Computer assisted proofs for nonlinear differential equations