I will (virtually) attend the Dagstuhl Seminar Behavioural Types: Bridging Theory and Practice.

Our paper “Sliceable Monolith: Monolith First, Microservices Later” was accepted at SCC 2021.

Our paper “Multiparty Languages: The Choreographic and Multitier Cases” received a Distinguished Paper Award at ECOOP 2021.

Our report “Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes” is online.

Our paper “Certifying Choreography Compilation” was accepted at ICTAC 2021.

I gave a lecture about Security by Design and Formal Methods at DigitalDays, an event organised by Denmark’s cluster organization for digital technologies DigitalLead.

Our paper “Choreographies as Objects” was rejected from TOPLAS.

Our paper “Certifying Choreography Compilation” was rejected from CADE 2021.

Our paper “Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices” was accepted at COORDINATION 2021.

Our paper “Multiparty Languages: The Choreographic and Multitier Cases” was accepted at ECOOP 2021.

Our paper “Formalising a Turing-Complete Choreographic Language in Coq” was accepted at ITP 2021.

I will serve in the PC of the 2^nd International Workshop on Agility with Microservices Programming (AMP 2021) at XP 2021.

I 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.

I 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.

I gave an invited talk about programming multiparty protocols with Choral at the International Conference on The Future of Standards in CyberSecurity.

I gave a lecture about Formal Methods and a tutorial on TLA⁺ at the Danish Summer School on CyberSecurity.

I was invited to give a talk about programming multiparty protocols with Choral at the International Conference on The Future of Standards in CyberSecurity.

Our paper “Choreographies as Objects” was rejected from OOPSLA 2020.

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

Our paper “Software Transactional Memory with Interactions” was accepted at ICTCS 2020.

We released the first beta of Choral, a Java-like programming language for type-safe multiparty protocols. Choral is based on our paper “Choreographies as Objects”.

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

I presented the paper “Computing embeddings of directed bigraphs” at ICGT 2020.

Our paper “Computing embeddings of directed bigraphs” was accepted at ICGT 2020.

I 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.

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

I will co-chair the 1^st International Workshop on Agility with Microservices Programming (AMP 2020) at (XP 2020).

Our paper “Two modes of recognition: algebra, coalgebra, and languages” was rejected from FoSSaCS 2020.

Our paper “Towards a Formal Model for Composable Container Systems” was accepted at ACM SAC 2020, Cloud Computing track.

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

I will serve as publicity chair of the 3^rd 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”.

I presented the paper “No More, No Less: A Formal Model for Serverless Computing” at COORDINATION 2019.

Our report “Two modes of recognition: algebra, coalgebra, and languages” is online.

Our paper “Two modes of recognition: algebra, coalgebra, and languages” was rejected from MFCS 2019.

Our paper “No More, No Less: A Formal Model for Serverless Computing” was accepted at COORDINATION 2019.

Our article “Behavioural Equivalences for Timed Systems” was published in LMCS.

I presented the paper “Better Late Than Never: A Fully-Abstract Semantics for Classical Processes” at POPL 2019.

I gave the talk “On choreographies and communication failures” at NWPT 2018.

Our paper “Better Late Than Never: A Fully-Abstract Semantics for Classical Processes” was accepted at POPL 2019.

I will co-chair the 2^nd International Conference on Microservices (Microservices 2019).

Our paper “Taking Linear Logic Apart” was accepted at Linearity & TLLA 2018.

I presented the paper “Communications in Choreographies, revisited” at ACM SAC 2018, Programming Languages track.

Our paper “Classical Transitions” was rejected from COORDINATION 2018.

Our report “Classical Transitions” is online.

Our paper “Choreographies meet Communication Failures” was rejected from FoSSaCS 2018.

Our report “Choreographies meet Communication Failures” in online.

Our paper “Communications in Choreographies, revisited” was accepted at ACM SAC 2018, Programming Languages track.

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

I gave the talk “On choreographic programming and lossy communications” at Microservices 2017.

Our paper “Deciding Weak Weighted Bisimulation” was accepted at ICTCS 2017.

I will serve on the Local Committee of the 1^st International Conference on Microservices (Microservices 2017).

I will serve on the Program Committee of the 2^nd International Workshop on Meta Models for Process Languages (MeMo 2017).

Our paper “Loose Graph Simulations” was 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.

I am starting a new position as a PostDoc at the Department of Mathematics and Computer Science of the University of Southern Denmark.