Lorenzo Platania

Lorenzo Platania is a experienced Software Engineer with a background in various companies such as eXact learning solutions, Esaote, and Microarea. Prior to their software engineering roles, Lorenzo worked as a Researcher at Universita` degli Studi di Genova and as a PH.D. student at the University of Genova, focusing on topics such as Separation Logic, Decision Procedures, Artificial Intelligence, and Formal Software Verification. Lorenzo also spent time as a visiting researcher at NYU.