- Computer Sciences
I am an assistant professor of computer sciences who joined the department in August 2015. I completed my Ph.D. degree in computer science at the University of Pennsylvania under the supervision of Rajeev Alur. Before moving to the United States, I completed a M.Sc. in Computer Science (2010) and a B.Sc. in Computer Science (2008), both from the University of Torino, Italy. My current research revolves around programming languages, software verification, software synthesis, and personalized education. I am particularly interested in combining formal methods and programming languages techniques to make programming simpler, less error-prone and more efficient. I am also interested in using formal methods to build smarter intelligent tutoring systems for online education.