I am currently working as a postdoctoral fellow at Inria, France. I obtained my Ph.D. from the Department of Computer Science and Engineering at the University of Bologna under the guidance of Prof. Ivan Lanese. My research focuses on choreography, message passing systems, and formal methods. Prior to joining my Ph.D., I worked with organizations such as Innopolis University and Siemens. I have also spent a significant amount of time conducting research in software analytics, mining software repositories, empirical software engineering, and the application of AI to software engineering. I am always interested in exploring new research opportunities and collaborations. Please feel free to contact me for further details.
