News

Jan'24
I gave a talk about on “Probabilistic Theories of Choreographic Programming” at the Dagstuhl Seminar Next Generation Protocols for Heterogeneous Systems.
Dec'23
I will co-chair the 1st International Workshop on Choreographic Programming (CP 2024), co-located with PLDI 2024.
Oct'23
Our paper “Choral: Object-Oriented Choreographic Programming” was accepted for publication in ACM Transactions on Programming Languages and Systems (TOPLAS).
Oct'23
Our paper “Linear Logic, the 𝜋-calculus, and their Metatheory: A Recipe for Proofs as Processes” was rejected from POPL 2024.
Sep'23
We are looking for a new PhD and PostDoc in User-Centred Security (deadline Oct 26 2023).
Aug'23
Our project “Cybersecurity and Business Continuity” has been financed by Industriens Fond for 8.5M DKK (~1.15M EUR).
Jun'23
We are looking for a new PhD in Strategic Organisation Design and Distributed Systems for a project about Decentralised Autonomous Organisations (deadline Aug 21 2023).
Jun'23
I presented the paper “JoT: A Jolie Framework for Testing Microservices” at the 25th International Conference on Coordination Models and Languages (COORDINATION 2023).
Jun'23
Our paper “JoT: A Jolie Framework for Testing Microservices” received the Best Artefact Award of the 25th International Conference on Coordination Models and Languages (COORDINATION 2023).
Apr'23
Our paper “Modular Compilation for Higher-order Functional Choreographies” was accepted at the 37th European Conference on Object-Oriented Programming (ECOOP 2023).
Apr'23
Our papers “Reasoning about Choreographic Programs” and “JoT: A Jolie Framework for Testing Microservices” ware accepted at the 25th International Conference on Coordination Models and Languages (COORDINATION 2023).
Apr'23
I will serve in the PC of the 4th International Workshop on Agility with Microservices Programming (AMP 2023), a satellite of the 17th European Conference on Software Architecture (ECSA 2023).
Apr'23
Our paper “LEMMA2Jolie: A Tool to Generate Microservice APIs from Domain Models” was accepted for publication in the journal Science of Computer Programming (SCP).
Apr'23
Our paper “A Formal Theory of Choreographic Programming” was accepted for publication in the Journal of Automated Reasoning (JAR).
Apr'23
Our paper “A Framework for Testing Microservices in Jolie” was accepted at the 25th International Conference on Coordination Models and Languages (COORDINATION 2023).
Mar'23
I gave the talk “Reasoning about Choreographic Programs” at the Software Systems Engineering Seminar of the Technical University of Denmark.
Mar'23
I will attend the Dagstuhl Seminar Next Generation Protocols for Heterogeneous Systems.
Jan'23
I am starting a new position as Associate Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Southern Denmark.
Dec'22
Our paper “Modular Compilation for Higher-Order Functional Choreographies” was rejected from FoSSaCS 2023.
Dec'22
On March 24, I will hold an online training session about Software Verification with TLA+ for the Danish Cyber Championships. You can find more details at the registration page.
Sep'22
Our paper “Concurrent Effectful Linear Logic” was rejected from POPL 2022.
Aug'22
I gave a lecture about Formal Methods and a tutorial on TLA+ at the Danish Summer School on CyberSecurity.
Aug'22
Our paper “Functional Choreographic Programming” was accepted at the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022).
Jul'22
Our article “Computing (Optimal) Embeddings of Directed Bigraphs” was accepted for publication in the journal Science of Computer Programming (SCP).
Apr'22
Mar'22
Our paper “Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs” was accepted at the 24th International Conference on Coordination Models and Languages (COORDINATION 2022).
Feb'22
I will serve in the PC of the Doctoral Symposium at ECOOP 2022.
Feb'22
I will serve in the PC of the 3rd International Workshop on Agility with Microservices Programming (AMP 2022), a satellite of the 23rd International Conference on Agile Software Development (XP 2022).
Dec'21
On March 25, I will hold an online training session about Software Verification with TLA+ for the Danish Cyber Championships. You can find more details at the registration page.
Nov'21
Our report “Choreographies as Functions” is online.
Aug'21
I will (virtually) attend the Dagstuhl Seminar Behavioural Types: Bridging Theory and Practice.
Jul'21
Our paper “Sliceable Monolith: Monolith First, Microservices Later” was accepted at the _ 18th IEEE International Conference on Services Computing_ (SCC 2021).
Jun'21
Our paper “Multiparty Languages: The Choreographic and Multitier Cases” received a Distinguished Paper Award of the 35th European Conference on Object-Oriented Programming (ECOOP 2021).
Jun'21
Our paper “Certifying Choreography Compilation” was accepted at the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021).
Jun'21
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.
Apr'21
Our paper “Choreographies as Objects” was rejected from TOPLAS.
Apr'21
Apr'21
Our paper “Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices” was accepted at the 23rd International Conference on Coordination Models and Languages (COORDINATION 2021).
Apr'21
Our paper “Multiparty Languages: The Choreographic and Multitier Cases” was accepted at the 35th European Conference on Object-Oriented Programming (ECOOP 2021).
Mar'21
Our paper “Formalising a Turing-Complete Choreographic Language in Coq” was accepted at the 12th conference on Interactive Theorem Proving (ITP 2021).
Feb'21
I will serve in the PC of the 2nd International Workshop on Agility with Microservices Programming (AMP 2021), a satellite of the 22nd International Conference on Agile Software Development (XP 2021).
Oct'20
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.
Sep'20
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.
Sep'20
I gave an invited talk about programming multiparty protocols with Choral at the International Conference on The Future of Standards in CyberSecurity.
Aug'20
I gave a lecture about Formal Methods and a tutorial on TLA+ at the Danish Summer School on CyberSecurity.
Aug'20
I was invited to give a talk about programming multiparty protocols with Choral at the International Conference on The Future of Standards in CyberSecurity.
Aug'20
Our paper “Choreographies as Objects” was rejected from OOPSLA 2020.
Aug'20
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.
Jul'20
Our paper “Software Transactional Memory with Interactions” was accepted at the 21st Italian Conference on Theoretical Computer Science (ICTCS 2020).
Jun'20
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”.
May'20
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.
Apr'20
Our paper “Computing embeddings of directed bigraphs” was accepted at the 13th International Conference on Graph Transformation (ICGT 2020).
Feb'20
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.
Feb'20
I will 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).
Dec'19
I will co-chair the 1st International Workshop on Agility with Microservices Programming (AMP 2020), a satellite of the 21st International Conference on Agile Software Development (XP 2020).
Nov'19
Our paper “Towards a Formal Model for Composable Container Systems” was accepted at 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Cloud Computing track.
Oct'19
Our paper “A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework” was accepted at the Student Research Forum of the 46th International Conference on Current Trends in Theory and Practice of Computer Science(SOFSEM 2020).
Oct'19
I will serve as publicity chair of the 3rd International Conference on Microservices (Microservices 2020).
Oct'19
I was appointed to the Communication Group Microservices Community and I will be coordinating events and activities organised or supported by the community.
Jul'19
Apr'19
Our paper “No More, No Less: A Formal Model for Serverless Computing” was accepted at the 21st International Conference on Coordination Models and Languages (COORDINATION 2019)..
Feb'19
Our article “Behavioural Equivalences for Timed Systems” was published in the Journal Logical Methods in Computer Science (LMCS).
Oct'18
Our paper “Better Late Than Never: A Fully-Abstract Semantics for Classical Processes” was accepted at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).
Jul'18
I will co-chair the 2nd International Conference on Microservices (Microservices 2019).
May'18
Mar'18
Our paper “Classical Transitions” was rejected from COORDINATION 2018.
Mar'18
Our report “Classical Transitions” is online.
Nov'17
Our paper “Communications in Choreographies, revisited” was accepted at the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Programming Languages track.
Nov'17
I gave an invited talk about bisimulation and coinduction at the Dagstuhl Seminar on Algorithmic Cheminformatics.
Jul'17
Our paper “Deciding Weak Weighted Bisimulation” was accepted at the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017).
Jul'17
I will serve on the Local Committee of the 1st International Conference on Microservices (Microservices 2017).
Jun'17
I will serve on the Program Committee of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2017).
May'17
Our paper “Loose Graph Simulations” was accepted at the 8th International Workshop on Graph Computation Models (GCM 2017).
May'17
Congratulations to Alessio Mansutti for receiving the award “Best Italian Master Thesis in Theoretical Computer Science” from the European Association for Theoretical Computer Science (EATCS) for his thesis “Loose Graph Simulations” that I had the pleasure to supervise.
Apr'17
I am starting a new position as a PostDoc at the Department of Mathematics and Computer Science of the University of Southern Denmark.