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.
Algorithms for arithmetic theories and automated software verification. Computational logic and proof systems. Finite model theory. SMT Solvers.
