Projects & Impact

Funded projects

REG4IA — Regione Friuli Venezia Giulia

Role: Researcher
Period: 2025-2026
Research: Artificial Intelligence

SecCo-OC — NextGenerationEU SERICS

Role: Local Scientific Coordinator and Work-Package Scientific Coordinator
Period: 2024-2025
Research: Security-policy languages and behavioural models for containers

SOP — NextGenerationEU SERICS

Role: Local Scientific Coordinator and Work-Package Scientific Coordinator
Period: 2024-2025
Research: Fuzz testing and empirical security assessment

PRECRIME — ERC Advanced Grant

Role: Work Package Leader — Test Input Generation
Period: 2019-2022
Research: Self-assessment Oracles for Anticipatory Testing