Elena Zucca Schillani is an Associate Professor in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genoa. She teaches core computer science courses including Algorithms Analysis and Design, Principles and Paradigms of Programming Languages, and Automata Theory and Computability across undergraduate and graduate programs. Her research focuses on programming language theory with particular expertise in type systems, formal semantics, and language design. Dr. Zucca explores foundational aspects including lambda calculus, coinduction, and verification techniques. Her work bridges theoretical concepts with practical implementations, as evidenced by her integration of tools like ANTLR in teaching and research contexts. Recent publication trends show consistent engagement with formal methods for programming language design and verification. Her work spans theoretical foundations of type systems, operational semantics, and practical implementations of language features, with particular attention to coinductive techniques, resource-aware systems, and program equivalence. This cohesive research program connects her teaching in programming language paradigms with cutting-edge theoretical investigations. Dr. Zucca actively supervises student projects as part of her teaching responsibilities, requiring both theoretical examinations and practical implementations. Her course materials demonstrate commitment to comprehensive computer science education, covering topics from automata theory to advanced programming language concepts with both theoretical depth and practical application.

