I am Claudio Bernardoni, a Master’s student in Software Foundations at the University of Pisa, where I focus on the development of reliable and scalable software through formal methods and program verification. I recently graduated from the University of Pisa with a Bachelor’s degree in Computer Science with 110/110 cum laude (weighted average: 29.51/30).
My main academic interests include formal reasoning about programs, static analysis, and the logical foundations of software correctness. For my bachelor’s thesis, “A Bi-Abductive Algorithm for Separation Sufficient Incorrectness Logic”, I explored how abductive reasoning can be applied to program analysis. This experience confirmed my passion for research in automatic program verification, and I am currently working with my supervisors on an article based on my thesis work.
To strengthen my preparation in this area, I attended the ELICSIR Foundation Boost Summer Schools (Oropa and Bologna), where I had the opportunity to deepen my understanding of rigorous methods and advanced topics in software foundations.
Alongside my academic path, I gained research-oriented industry experience as a junior researcher collaborating with the South-American start-up Inti Soluciones. There, I researched artificial intelligence solutions to support real projects, with particular attention to computer vision and to algorithmic approaches that improve efficiency in AI and data handling.
I also care deeply about teaching and scientific outreach. I worked as a guide at the Museum of Computing Machinery in Pisa, where I led museum visits and educational laboratories, introducing programming and computer science concepts to students from primary school to high school. I also supported the University of Pisa as a tutor for orientation events, and I volunteered in the Coding Girls initiative to encourage STEM participation among high school students.
My long-term goal is to pursue a PhD and contribute to research in formal methods and program verification, combining rigorous theoretical work with a strong commitment to education and outreach.