Currently working as a Post-doctoral Researcher at the Università degli Studi di Napoli Federico II. My research interests include Software Engineering, Computer Science Applications to Intelligent Transportation Systems, and Formal methods.