Alessio Mansutti

PhD - École Normale Supérieure Paris-Saclay, France
Assistant Research Professor

Office: 344
Telephone: +34-91-101-2202 ext 4452
Email:

	@
alessio.mansutti	@	imdea.org

Home Page: https://alessiomansutti.github.io/

Short Bio

Alessio received his Ph.D. degree in Computer Science from the ENS Paris-Saclay (France) in 2020. Prior to joining the IMDEA Software Institute in October 2022, Alessio held a Research Associate position in the Automated Verification Group of the University of Oxford (UK). For further information, please visit his personal website.

Research Interests

Algorithms for arithmetic theories and automated software verification. Computational logic and proof systems. Finite model theory. SMT Solvers.