معرفی
Cosimo Perini Brogi is an Assistant Professor (RTD-a) in Theoretical Computer Science at the IMT School for Advanced Studies Lucca, Italy. He is part of the SySMA (Systems' Security Modelling and Analysis) Research Unit and currently leads the SWOPS project under the NextGenerationEU fund. His academic journey includes a PhD in Mathematics (2022, University of Genoa) and a MA in Logic from the University of Florence (2018).
His research focuses on proof theory, non-classical logics, and formal methods, particularly in verification of systems and automated reasoning. He has contributed to journals like Studia Logica and Journal of Automated Reasoning, and his work bridges computer science, mathematics, and philosophy. He is active in outreach through Archimede and MaddMaths!, promoting mathematics accessibility.
Affiliations include EuroProofNet, The Proof Society, and the Italian Chapter of EATCS. He holds grants from PRIN 2017 and an academic-industrial grant from the University of Barcelona (2022). His current research explores dynamic epistemic verification and collective adaptive systems analysis.
