Francesca Scozzari

Francesca Scozzari is an Associate Professor of Computer Science in the Department of Science, Faculty of Economics at the University of Chieti-Pescara. She has maintained an active academic career since at least 2006, teaching computer science courses across multiple academic programs including Economics, Humanities, and Biomedical disciplines.

Dr. Scozzari's research centers on abstract interpretation, with particular expertise in numerical domains and static program analysis. Her work bridges theoretical foundations with practical applications, developing precise analysis techniques for program verification and optimization. She has made significant contributions to understanding observational completeness, optimal semantics, and the implementation of numerical abstract domains.

Analysis of her publication record reveals a consistent research trajectory focused on improving the precision and efficiency of abstract domains. Her work spans theoretical contributions (completeness properties, optimal semantics) to practical implementations (Jandom, Random). A notable trend is her application of mathematical techniques like principal component analysis to domain construction, demonstrating interdisciplinary thinking that connects computer science with numerical methods.

Dr. Scozzari has developed important analysis tools including:

• Jandom (JVM-based Analyzer for Numerical DOMains) for Java program analysis
• Random (R-Based Analyzer for Numerical DOMains) leveraging statistical computing

She actively contributes to the academic community through workshop organization (Numerical and Symbolic Abstract Domains, Geometry and Computer Science) and teaching diverse computer science courses ranging from foundational programming to specialized topics like Abstract Games and Go. Her teaching portfolio demonstrates exceptional versatility in adapting computer science concepts for students across economics, humanities, and biomedical fields.