Work Experience

Actual Position


Assistant Professor

Jan 1, 2022 - Ongoing

University of Verona, Italy – Dept. of Computer Science

INF/01 (Informatics)


Past Positions


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