services

Academic duties, committees and other services I am honored to offer.

Current academic positions

Current and incoming events

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 Committee 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

  1. 27th Estonian Winter School in Computer Science (EWSCS 2025) (teacher)
  2. 8th European Network for Cybersecurity PhD School (NeCS 2025) (teacher)
  3. EUTypes Summer School on Types for Programming and Verification (EUTYPES School 2018) (chair)

Conference PC or OC Chair

  1. Italy OWASP Day 2019 (OC chair)
  2. Logics, Types, and Semantics: a Journey in Theoretical Computer Science (2018) (co-chair)
  3. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2017) (PC Co-chair)
  4. 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) (PC Chair)
  5. 8th International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG’14) (PC Co-chair)
  6. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2010) (PC Co-chair)
  7. TYPES 2007 (OC and PC co-chair)
  8. ACM SIGPLAN MERλIN’03 (PC co-chair)

Conference PC or OC member

  1. 3rd International Workshop on Trends in Digital Identity (TDI 2025) (PC member)
  2. 9th Italian Conference on Cybersecurity (ITASEC 2025) (PC member)
  3. 36th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2024) (PC member)
  4. 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) (PC member)
  5. 15th International Workshop on Graph Computation Models (GCM 2024) (PC member)
  6. 6th Distributed Ledger Technology Workshop (DLT 2024) (PC member)
  7. 8th Italian Conference on Cybersecurity (ITASEC 2024) (PC member)
  8. 14th International Workshop on Graph Computation Models (GCM 2023) (PC member)
  9. 35th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2023) (PC member)
  10. 5th Distributed Ledger Technology Workshop (DLT 2023) (PC member)
  11. 7th Italian Conference on Cybersecurity (ITASEC 2023) (PC member)
  12. International Conference on Security for Information Technology and Communications (SecITC 2022) (PC member)
  13. 6th Italian Conference on Cybersecurity (ITASEC 2022) (PC member)
  14. 5th Italian Conference on Cybersecurity (ITASEC 2021) (PC member)
  15. 4th Italian Conference on Cybersecurity (ITASEC 2020) (PC member)
  16. EXPRESS/SOS 2019 (PC member)
  17. 3rd Italian Conference on Cybersecurity (ITASEC 2019) (PC member)
  18. 2nd Italian Conference on Cybersecurity (ITASEC 2018) (PC member)
  19. 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) (PC member)
  20. 1st Italian Conference on Cybersecurity (ITASEC 2017) (PC member)
  21. 31º Convegno Italiano di Logica Computazionale (CILC 2016) (PC member)
  22. Special Track of the 31st ACM Symposium on Applied Computing about Coordination Models, Languages and Applications (ACM SAC:CM 2016) (PC member)
  23. 16th Italian Conference on Theoretical Computer Science (ICTCS 2015) (PC member)
  24. 1st International Workshop on Meta Models for Process Languages (MeMo 2014) (OC member)
  25. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2014) (PC member)
  26. CALCO’13 (PC member)
  27. TYPES’13 (PC member)
  28. FOSSACS’11 (PC member)
  29. TYPES’10 (PC member)
  30. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) (PC member)
  31. Membrane Computing and Biologically Inspired Process Calculi (MECBIC 2009) (PC member).
  32. Mathematically Structured Functional Programming (MSFP 2008) (PC member).
  33. Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007) (PC member)
  34. Effects and Type Theory, EffTT 2007 (PC member)
  35. Mathematically Structured Functional Programming (MSFP 2006) (PC member)
  36. IFIP WG 2.2 Anniversary Meeting (OC member)
  37. ACM SIGPLAN MERλIN’05 (PC member)
  38. Congresso nazionale AICA “Comunità Virtuale dalla Ricerca all’Impresa, dalla Formazione al Cittadino” 2005 (PC member)
  39. COMETA 2003 final workshop (OC member)
  40. COMETA 2002 kickoff meeting (OC member)
  41. ACM SIGPLAN MERλIN’01 (PC member, OC member)
  42. TOSCA’01 Final workshop (OC member)

Steering Committees

  1. Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2017-2022)
  2. Logical Frameworks and Meta-Languages: Theory and Practice Steering Committee member (2010-2015)