معرفی
Isabella Mastroeni serves as an Associate Professor in the Department of Computer Science at the University of Verona, where she holds the position of Professore II fascia in Informatics (INFO-01/A). She is actively involved in research and teaching within the university's Science and Engineering Area, with her office located in Ca' Vignal 2, Floor 1, Room 88.
Her research focuses on two primary areas: abstract interpretation and security. Within abstract interpretation, she studies programming language semantics and static analysis techniques, including for dynamic programming languages. Her security research spans language-based security with emphasis on non-interference models, malware detection through code similarity analysis, code protection via obfuscation techniques, and analysis of security properties to prevent code injection attacks. She publishes in top international venues including programming language conferences (POPL, ESOP, SAS, PEPM), security journals (TOPS, JCS), and formal computer science publications (FACJ, TCS, MSCS).
Professor Mastroeni serves as a member of the SPY (Formal Methods) Laboratory and has led numerous research projects, including recent initiatives such as Learning Safe Behaviours for human-robot cooperation (BEHAVE), Securing sOftware Platforms, and Novel Methodologies and Tools for Next Generation Cyber Ranges (NOMEN). Her current research interests are categorized under ERC sectors PE6_5 (Security, privacy, cryptology), PE6_3 (Software engineering, programming languages), and PE6_4 (Theoretical computer science, formal methods).
She holds significant administrative responsibilities including Chair of the Commissione AQ Laurea triennale in Informatica, Quality Assurance Representative for the Computer Science degree program, and membership on multiple governing bodies including the Faculty Board of PhD in Computer Science and the Computer Science Teaching Committee.
Professor Mastroeni teaches across multiple programs including Educational Technology Laboratory for Primary Teacher Education, Foundations of Computing, Programming Languages, and Software Analysis for Computer Science bachelor's and master's degrees. Her teaching spans from foundational courses to advanced specialized topics reflecting her research expertise.
