معرفی
Peter FERRARA is an Associate Professor in Computer Science at Ca' Foscari University of Venice, Italy. He joined the university in November 2019 as a tenure-track assistant professor and transitioned to his current rank. His primary affiliation is with the Department of Environmental Sciences, Computer Science and Statistics (D.A.I.S.) and the Research Institute for Complexity. He is part of the Software and System Verification group and maintains an active role in the Temporary Center Innovation Ecosystem Project.
Education: Holds a PhD in Computer Science (2009) from École Polytechnique (Paris) and Ca' Foscari University of Venice, advised by Radhia Cousot and Agostino Cortesi. Completed his MA (2005) and BA (2003) in Computer Science from Ca' Foscari. Defended his thesis at École Normale Supérieure in May 2009. His research experience spans 15 years, with 50+ publications and 20 patents, focusing on static analysis for software reliability and security.
Research Interests: Specializes in applying abstract interpretation theories to enhance software security, reliability, and performance. Recent work emphasizes static analysis of mobile and .NET systems, blockchain smart contracts, IIoT vulnerabilities, and automated policy enforcement. He bridges formal methods with practical software development, addressing challenges in precision-efficiency tradeoffs and industrial tool adoption.
Industry Experience: From 2013-2019, worked in industry as Head of R&D at JuliaSoft SRL (2016–2019) and IBM Research (2013–2015). Developed commercial static analysis tools, managed research projects, and delivered technical presentations to clients. His work focused on transitioning research into deployable solutions.
Teaching: Instructs courses in Object-Oriented Programming, Software Architectures, and Coding/Data Management. Engages students through practical LiSA framework experiences. Has taught at ETH Zurich (2009–2013) and supervised over a dozen students across PhD, Master's, and Bachelor's levels.
Awards: No specific scientific awards listed, but recognized through extensive patent portfolio and impactful industry-academia collaborations. Holds 20 patents, including innovations in permissions extraction, privacy enforcement, and malware detection.
Grants & Projects: Involved in multiple research projects from proposal to execution, including EU Data Act analysis, IoT security frameworks, and blockchain verification initiatives. Collaborates with institutions like IBM, Microsoft Research, and the University of Verona's JuliaSoft spin-off.
Labs/Teams: Active in the Software and System Verification group at Ca' Foscari. Co-developed the LiSA static analysis framework. Engages in interdisciplinary projects combining robotics, IoT, and blockchain domains.
