I am a PhD student in Computer Science in the SySMA research unit at IMT Lucca, supervised by prof. Mirco Tribastone (IMT) and Dr. Omar Inverso (GSSI L’Aquila). I graduated in Mathematics at the University of Trieste.
My research focuses on Formal Verification. I am currently working on decision procedures for proving properties regarding the numerical correctness of software found in control systems.