Gave a lecture about Formal Methods at CyberSecurity Days 2020, a seminar funded by the Centre for Cyber Security of the Danish Ministry of Defence to promote IT security.

Gave the talk "A logical reconstruction of the π-calculus and its behavioural theory" at the Formal Methods Seminar of the Technical University of Warsaw, PL.

Gave a lecture about Formal Methods and a tutorial on TLA+ at the Danish Summer School on CyberSecurity.

Excited to be invited to the International Conference on The Future of Standards in CyberSecurity. I will talk about programming multiparty protocols with Choral.

Starting a new position as Assistant Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Southern Denmark.

Released the first beta of Choral, a Java-like programming language for type-safe multiparty protocols. Choral is based on my paper "Choreographies as Objects".

Released a new version of jLibBig, a Java library for Bigraphical Reactive Systems. This release introduces support for directed bigraphs based on my paper "Computing embeddings of directed bigraphs" and completes the migration to the new API of CHOCO-Solver.

Presented the paper "Computing embeddings of directed bigraphs" at ICGT 2020.

"Computing embeddings of directed bigraphs" accepted at ICGT 2020.

Gave the talk "A logical reconstruction of the π-calculus and its behavioural theory" as part of my research visit to the Formal Analysis, Theory & Algorithms section at Glasgow University, UK.

Excited to serve in the PC of the Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics (EXPRESS/SOS 2020) and in the PC of the 3rd International Conference on Microservices (Microservices 2020).

Excited to be co-chairing the 1st International Workshop on Agility with Microservices Programming (AMP 2020) at (XP 2020).

"Towards a Formal Model for Composable Container Systems" accepted at ACM SAC 2020, Cloud Computing track.

"A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework" accepted at the Student Research Forum of the SOFSEM 2020 Conference.

Excited to be publicity chair of the of the 3rd International Conference on Microservices (Microservices 2020).

I was appointed to the Communication Group Microservices Community and I will be coordinating events and activities organised or supported by the community.

Erratum for "Taking Linear Logic Apart".

Presented the paper "No More, No Less: A Formal Model for Serverless Computing" at COORDINATION 2019.

Published the report "Two modes of recognition: algebra, coalgebra, and languages".

"No More, No Less: A Formal Model for Serverless Computing" accepted at COORDINATION 2019.

"Behavioural Equivalences for Timed Systems" published in LMCS.

Presented the paper "Better Late Than Never: A Fully-Abstract Semantics for Classical Processes" at POPL 2019.

Gave the talk "On choreographies and communication failures" at NWPT 2018.

"Better Late Than Never: A Fully-Abstract Semantics for Classical Processes" accepted at POPL 2019.

Excited to co-chair the of the 2nd International Conference on Microservices (Microservices 2019).

"Taking Linear Logic Apart" accepted at Linearity & TLLA 2018.

Presented the paper "Communications in Choreographies, revisited" at ACM SAC 2018, Programming Languages track.

Published the report "Classical Transitions".

Published the report "Choreographies meet Communication Failures".

"Communications in Choreographies, revisited" accepted at ACM SAC 2018, Programming Languages track.

Gave an invited talk about bisimulation and coinduction at the Dagstuhl Seminar on Algorithmic Cheminformatics.

Gave the talk "On choreographic programming and lossy communications" at Microservices 2017.

"Deciding Weak Weighted Bisimulation" accepted at ICTCS 2017.

Excited to serve on the Local Committee of the 1st International Conference on Microservices (Microservices 2017).

Excited to be serving on the PC of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2017).

"Loose Graph Simulations" accepted at GCM 2017.

Congratulations to Alessio Mansutti for receiving the award "Best Italian Master Thesis in Theoretical Computer Science" from the EATCS for his thesis "Loose Graph Simulations" that I had the pleasure to supervise.

Starting as a PostDoc at the Department of Mathematics and Computer Science of the University of Southern Denmark.