cv

PhD in Computer Science

University of Pisa (Italy)

Summer School "Advanced School on Typed Lambda Calculus and Applications"

CISM, Udine (Italy)

Summer school "Types for proofs and programs"

TYPES, Båstad (Sweden)

Advanced School on Logic and Artificial Intelligence

CISM, Udine (Italy)

Fourth European Summer School in Logic, Language and Information

University of Essex (UK)

MSc in Computer Science (Laurea in Scienze dell'Informazione)

University of Udine (Italy)

Associate Professor in Computer Science

Department of Environmental Sciences, Computer Science and Statistics, Ca' Foscari University of Venice

• I have a second affiliation with Ca' Foscari University of Venice, in order to participate to the Spoke 6 Software and Platform Security of SERICS. The aim of this spoke's research is to provide an ecosystem where software developers can easily reason about software security, thanks to innovative security-aware programming abstractions and new semantic models.

Associate Professor in Computer Science

Department of Mathematical, Computer and Physical Sciences, University of Udine (before: Faculty of Arts and Humanities, then Faculty of Mathematical, Physical and Natural Sciences)

• In this position I have taught about 10 different courses at the undergraduate level and four courses at PhD level, supervised more than 120 undergraduate theses, four PhD students;
• Written about seventy papers, participated in a dozen research projects (often with leadership positions);
• PC member of more than 40 international conferences, and chaired six of them;
• Founded the Laboratory of Models and Applications of Distributed Systems, the Laboratory of Cybersecurity and the MadrHacks;
• Served the Department in many commissions and roles, etc.

Assistant Professor in Computer Science

Faculty of Mathematical, Physical and Natural Sciences, University of Udine

• In this position I have taught about 4 different courses at the undergraduate level (in several Faculties), supervised about 40 undergraduate theses;
• Written about twenty papers, participated to some research projects, chaired some conferences;
• Served the Department in many commissions and roles; etc.

Technologist (Tecnologo)

INFN (National Institute of Nuclear Physics), Trieste

• I was involved in the creation of the Journal of High Energy Physics (JHEP), the ante litteram open access journal for theoretical physics. It was a quite applicative position focused on design and implementation of a real distribured, fault-tolerant, scalable system. During these years I hadn't carried out much research, but I learnt a lot about real distributed systems: I had to face the dire consequences of the CAP theorem, well before it was proved!

Research Fellow (Assegno di ricerca)

INFN (National Institute of Nuclear Physics), Trieste

• As above, but in a fixed-term position.

Group "Impact Area Digital Industry", led by A. Cimatti

Fondazione Bruno Kessler, Trento

Group "Logic and Semantics", led by T. Uustalu

Tallinn University of Technology

Group "Logic and Semantics", led by L. Birkedal

Aarhus University

Group "Programming, Logic, and Semantics", led by T. Hildebrandt

IT University, Copenhagen

Group "Preuves en théorie des types", led by Y. Bertot

INRIA, Sophia-Antipolis

Deputy Head of the Department of Mathematics, Computer Science and Physics

Member of Research Board of the Department of Mathematics, Computer Science and Physics

Member of the Faculty Board of the PhD Course in Computer Science and Artificial Intelligence

Member of the Faculty Board of the PhD Course in Computer Science, Mathematics and Physics

Head of the CyberChallenge.it at the University of Udine

Head of the Udine node of the Cybersecurity National Laboratory

Representative of the University of Udine in the Directive Board of CINI

Member of many selection committees for PhD entrance, for researcher positions, etc.

Delegate for Orientation and Tutoring at the Department of Mathematics, Computer Science and Physics

President of the Selection Committee for the Scientific Class of Scuola Superiore, the excellence school of the University of Udine

Representative of the University of Udine in the Scientific-Technical Board of IFTS

Head of the Web Commission of the DMIF

Director of the Udine node of the CINI consortium

Member of the Faculty Board of the PhD Course in Computer Science

Responsible of the Erasmus Exchange with Goteborg University

Member of the Paritetic Commission of the DMIF

Deputy head of the Board of Computer Science Curricula

Deputy head of the Department of Mathematics and Computer Science

Talk "DBCChecker: Formally Verifying Security Properties of Containers Compositions"

Meeting “5G and Cloud Security Awareness Days”, Rome

Talk "An attribute-based events model for collective adaptive systems"

Theory Days Conference, Randivälja, Estonia

Talk "Modeling Collective Adaptive Systems with Attribute-based Events: Recent Trends and Open Problems"

IFIP WG 1.8 meeting "Open Problems in Concurrency", Bertinoro

Talk "The Fellowship of the Semiring: Concerning Quantitative Bisimulations"

IFIP WG 1.8 meeting "Open Problems in Concurrency", Bertinoro

Talk "Tutorial about Bigraphic Reactive Systems"

MeMo Workshop, Berlin (associated with DisCoTec 2014)

Talk "Weak bisimulations for LTSs weighted over semirings"

NII Shonan Meeting on "Coinduction for computation structures and programming languages", Japan

Talk "A bigraphical framework for protein and membrane interactions"

Theory Days Conference, Andu, Estonia

Talk "Bigraphical models of calculi with names"

Conference "Mathematical Theories of Abstraction, Substitution and Naming in Computer Science", ICMS, Edinburgh

Talk "The directed bigraphical model"

IFIP WG 2.2 Meeting, Nancy

Talk "Behind the name: the many faces of atomic terms"

Theory Days Conference, Koke, Estonia

Talk "Unifying Recursive and Corecursive Definitions"

Workshop "Proof Theory of Inductive and Coinductive Types", Marseille

Best paper award for the work "Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards"

22nd International Conference on Software Engineering and Formal Methods (SEFM 2024).

Best paper award for the work "Automated Symbolic Verification of Telegram’s MTProto 2.0"

18th International Conference on Security and Cryptography (SECRYPT 2021).

National Scientific Habilitation for the position of Full Professor in Computer Science

Best poster award for the work "Formal analysis of Facebook Connect Single Sign-On authentication protocol"

37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011).