services
Academic duties, committees and other services I am honored to offer.
Current academic positions
- Research Delegate and Head of the Research Board of the Department of Mathematics, Computer Science and Physics (Feb 2025-)
- Associate Editor for the Smart Contracts section of the journal Frontiers in Blockchain (Oct 2024-).
- Deputy Head of the Department of Mathematics, Computer Science and Physics (Jul 2023-)
- Member of the Faculty Board of the PhD Course in Computer Science and Artificial Intelligence (2023-)
Current and incoming events
- 7th Distributed Ledger Technology Workshop (DLT 2025) (PC member)
- 1st International Workshop on Security and Risk in Identity Management (SeRIM 2025) (PC member)
Past academic positions
- Representative of the University of Udine in the Directive Board of CINI (2008-2025)
- Member of the Research Board of the Department of Mathematics, Computer Science and Physics (Jul 2023-Jan 2025)
- Member of the Faculty Board of the PhD Course in Computer Science, Mathematics and Physics (2020-2024)
- Delegate for Orientation and Tutoring at the Department of Mathematics, Computer Science and Physics (2019-2024)
- Representative of the University of Udine in the Scientific-Technical Board of IFTS (2016-2023)
- President of the Selection Committee for the Scientific Class of Scuola Superiore, the excellence school of the University of Udine (2023)
- Head of the Web Commission of the DMIF (2019-2022)
- Responsible of the Computer Science PCTO (aka Alternanza Scuola-Lavoro) (2018-2020)
- Director of the Udine node of the CINI consortium (2009-2020)
- Member of the Faculty Board of the PhD Course in Computer Science (2006-2017)
- Responsible of the Erasmus Exchange with Goteborg University (2009-2020)
- Member of the Paritetic Commission of the DMIF (2013–2017)
- Deputy head of the Board of Computer Science Curricula (2013–2016)
- Deputy head of the Department of Mathematics and Computer Science (2005–2008)
- Member of many selection committees for PhD entrance, for researcher positions (RTD), etc.
Past events
International PhD Schools
- 27th Estonian Winter School in Computer Science (EWSCS 2025) (teacher)
- 8th European Network for Cybersecurity PhD School (NeCS 2025) (teacher)
- EUTypes Summer School on Types for Programming and Verification (EUTYPES School 2018) (chair)
Conference PC or OC Chair
- Italy OWASP Day 2019 (OC chair)
- Logics, Types, and Semantics: a Journey in Theoretical Computer Science (2018) (co-chair)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2017) (PC Co-chair)
- 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) (PC Chair)
- 8th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG’14) (PC Co-chair)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2010) (PC Co-chair)
- TYPES 2007 (OC and PC co-chair)
- ACM SIGPLAN MERλIN’03 (PC co-chair)
Conference PC or OC member
- 3rd International Workshop on Trends in Digital Identity (TDI 2025) (PC member)
- 9th Italian Conference on Cybersecurity (ITASEC 2025) (PC member)
- 36th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2024) (PC member)
- 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) (PC member)
- 15th International Workshop on Graph Computation Models (GCM 2024) (PC member)
- 6th Distributed Ledger Technology Workshop (DLT 2024) (PC member)
- 8th Italian Conference on Cybersecurity (ITASEC 2024) (PC member)
- 14th International Workshop on Graph Computation Models (GCM 2023) (PC member)
- 35th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2023) (PC member)
- 5th Distributed Ledger Technology Workshop (DLT 2023) (PC member)
- 7th Italian Conference on Cybersecurity (ITASEC 2023) (PC member)
- International Conference on Security for Information Technology and Communications (SecITC 2022) (PC member)
- 6th Italian Conference on Cybersecurity (ITASEC 2022) (PC member)
- 5th Italian Conference on Cybersecurity (ITASEC 2021) (PC member)
- 4th Italian Conference on Cybersecurity (ITASEC 2020) (PC member)
- EXPRESS/SOS 2019 (PC member)
- 3rd Italian Conference on Cybersecurity (ITASEC 2019) (PC member)
- 2nd Italian Conference on Cybersecurity (ITASEC 2018) (PC member)
- 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) (PC member)
- 1st Italian Conference on Cybersecurity (ITASEC 2017) (PC member)
- 31º Convegno Italiano di Logica Computazionale (CILC 2016) (PC member)
- Special Track of the 31st ACM Symposium on Applied Computing about Coordination Models, Languages and Applications (ACM SAC:CM 2016) (PC member)
- 16th Italian Conference on Theoretical Computer Science (ICTCS 2015) (PC member)
- 1st International Workshop on Meta Models for Process Languages (MeMo 2014) (OC member)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2014) (PC member)
- CALCO’13 (PC member)
- TYPES’13 (PC member)
- FOSSACS’11 (PC member)
- TYPES’10 (PC member)
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) (PC member)
- Membrane Computing and Biologically Inspired Process Calculi (MECBIC 2009) (PC member).
- Mathematically Structured Functional Programming (MSFP 2008) (PC member).
- Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007) (PC member)
- Effects and Type Theory, EffTT 2007 (PC member)
- Mathematically Structured Functional Programming (MSFP 2006) (PC member)
- IFIP WG 2.2 Anniversary Meeting (OC member)
- ACM SIGPLAN MERλIN’05 (PC member)
- Congresso nazionale AICA “Comunità Virtuale dalla Ricerca all’Impresa, dalla Formazione al Cittadino” 2005 (PC member)
- COMETA 2003 final workshop (OC member)
- COMETA 2002 kickoff meeting (OC member)
- ACM SIGPLAN MERλIN’01 (PC member, OC member)
- TOSCA’01 Final workshop (OC member)
Steering Committees
- Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2017-2022)
- Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2010-2015)