Laureato in Scienze dell'Informazione presso l'Università degli Studi di Udine nel 1997, ha conseguito il Dottorato di Ricerca in Informatica presso la medesima università nel 2002. È ricercatore (s.s.d. INF/01) presso il Dipartimento di Scienze Matematiche, Informatiche e Fisiche dell'Università degli Studi di Udine da gennaio 2005.
È co-docente del corso di Sistemi Operativi e Laboratorio nell'ambito della Laurea Triennale in Informatica dall'A.A. 2005/06. È stato relatore di 289 tesi di Laurea.
Svolge attività di ricerca principalmente nel campo dei metodi formali e dei logical framework; recentemente, ha svolto ricerche anche nel settore dei dispositivi mobili, dell'information retrieval e dei sistemi IoT.
Ha partecipato ai progetti italiani TOSCA (COFIN 1999), COMETA (COFIN 2001013518), CINA ("Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura", bando PRIN 2010-2011) e ai progetti europei TYPES (ESPRIT WG 21900, IST WG 29001, IST-CA-510996), DART (IST-2001-33477), "Doctoral School towards European Knowledge Society" (TEMPUS JEP-41099-2006) e TRI-ICT 2008 (INTERREG IV Italia-Austria). È membro del progetto MIUR PRIN 2017FTXR7S "IT-MaTTerS" (Methods and Tools for Trustworthy Smart Systems) e del progetto Proactive Counter-UAV (A Proactive Counter-Uav System to Protect Army Tanks and Patrol Units in Urban Areas)nell'ambito del Piano Nazionale Ricerca Militare. È autore di pubblicazioni nazionali ed internazionali con revisore.