Zaffanella Enea
Department of Mathematical, Physical and Informatics Science
University of Parma
Italy
Biography
Enea Zaffanella (Bachelor of Science in Information Science, University of Pisa, 1993; PhD in Computer Science, University of Leeds, 2002) since 2006 is Associate Professor at the University of Parma, in the SSD INF / 01 Informatica; From 2002 to 2006 he has held the position of University Researcher at the same headquarters. For more than a decade, she has conducted research activities in the field of formal methods for programming languages, with particular reference to the areas of static analysis of programs and abstract interpretation. She is co-author of more than 30 journals and international conference papers, as well as various communications at international workshops and technical reports.
Research Interest
Normal methods for analyzing and verifying programs, Domains and Operators,Semantic programming languages, Logic Programming (with constraints).
