Alessio Mansutti

Alessio Mansutti is an Assistant Research Professor at the IMDEA Software Institute. He received his PhD in Computer Science from École Normale Supérieure Paris-Saclay and previously held a Research Associate position at the University of Oxford's Automated Verification Group.

Research focuses on algorithms for arithmetic theories and automated software verification. Key areas include computational logic, proof systems, finite model theory, and SMT solvers. Current projects investigate non-linear existential arithmetic theories, developing novel algorithms for systems featuring exponentiation and divisibility operations.

Articles primarily explore complexity boundaries in arithmetic theories, including Presburger arithmetic extensions and integer programming with non-linear constraints. Recent work establishes complexity results for integer programming with GCD constraints and linear-exponential programming.