Actual Position
Tenure-Track Assistant Professor
Oct 1, 2024 - Ongoing
University of Verona, Italy – Dept. of Computer Science
INFO-01/A (Computer Science)
Past Positions
Assistant Professor
Jan 1, 2022 - Sep 30, 2024
University of Verona, Italy – Dept. of Computer Science
INF/01 (Computer Science)
Postdoctoral Research Assistant
Oct 1, 2021 - Dec 31, 2021 (3 months)
University of Verona, Italy – Dept. of Computer Science
Automatic black-box testing of RESTful API
Supervisor
Prof. Mariano Ceccato (University of Verona, Italy)
REST APIs · Back-box testing · Blockchain · Static analysis · Smart-contracts
Postdoctoral Research Assistant
Oct 1, 2020 - Sep 30, 2021 (1 year)
University of Udine, Italy – Dept. of Mathematics, Computer Science and Physics
Methods and Tools for Trustworthy Smart Systems: innovative programming models and paradigms
Supervisor
Prof. Marino Miculan (University of Udine, Italy)
ECA rules · Attribute-based communication · Distributed systems · Autonomic computing
Postdoctoral Research Assistant
Oct 1, 2018 - Sep 30, 2020 (2 years)
University of Verona, Italy – Dept. of Computer Science
Static analysis of security properties in Android Things
Supervisor
Prof. Massimo Merro (University of Verona, Italy)
IoT apps · Security type system · Cross-app interactions · Formal methods