Marco Peressotti

@mperessotti
14 Followers
23 Following
15 Posts
Associate Professor of Computer Science at the University of Southern Denmark.
Websitehttps://marcoperessotti.com/

Anna Blume Jakobsen (https://www.daracademy.dk/current-fellows/anna-blume-jakobsen) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation.

#choreographicProgramming #programmingLanguages #leanProver

Dara

The paper maps these gaps and discusses how user-centred cybersecurity interventions and policy communication could better align stakeholders across the three levels of the Danish defence supply chain.

Huge credit to Judith for leading this work. Thanks also to Peter Mayer for co-supervising the project with me, and to the rest of the team for their collaboration.
We are also grateful to Industriens Fond for supporting this research.

See you in Barcelona at #CHI2026

🧵3/3

• Policymakers frame cybersecurity as strategic national resilience
• SMEs often experience it as costly compliance work
• Industry associations sit in the middle trying to translate policy into something companies can realistically implement

These misaligned mental models shape how cybersecurity policies travel from strategy to practice. Even well-designed policies can fail if stakeholders don’t share the same understanding of risks, responsibilities, and priorities.

🧵2/3

🎉Exciting news from @acp: our PhD student Judith Kankam-Boateng just had her first lead-author paper accepted at #CHI2026 @chi

Using workshops and focus groups, Judith mapped cybersecurity mental models across stakeholders in Denmark’s defence including
• policymakers
• industry associations (policy promoters)
• SMEs implementing the policies

👉 Main insight: these groups often think about cybersecurity in fundamentally different ways and this shapes whether policies actually work

🧵1/3

“Communicating Chorrectly with a Choreography” is out!

decomposition ∘ al

✅ Just published: Discover JoT, a new technology-agnostic tool to simplify testing of (one or many!) #microservices.

🔗 Read more: https://doi.org/10.1016/j.scico.2024.103215

w/ Saverio Giallorenzo, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana

#testing #programming #DevOps #jolie

JoT: A Jolie framework for testing microservices

We present JoT, a testing framework for Microservice Architectures (MSAs) based on technology agnosticism, a core principle of microservices. The main…

Released UniChorn - functional choreographic programming library in Unison.

It's a port of HasChor, similar library in Haskell.

#choreographicprogramming #unisonlang

ht @fmontesi @lindsey

Branch: releases/0.1.0 · @kaychaks/unichorn | Unison Share

Functional Choreographic Programming in Unison #distributed-programming #choreography

🚀 Project Chords has taken off! We have started an ambitious research initiative to investigate theory and practice of the paradigm of Choreographic Programming on an unprecedented scale, with the aim of making the development of connected digital systems more effective, transparent, and safe.

We will be posting updates and resources on the website https://www.chords.dev

Stay tuned for our progress!

#choreographicprogramming #programming #chords

Project Chords

Project Chords is a research project that investigates the foundations and applications of Choreographic Programming, a programming paradigm for concurrent and distributed systems.

Project Chords

🌐 Our article on Choreography-Defined Networks is gonna appear at ICSOC'24! It's a novel application of #ChoreographicProgramming to programmable networking (software-defined networks), developed with S. Giallorenzo, J. Mauro, A. Melis, M. Peressotti, and M. Prandini. The aim is to marry simplicity, efficiency, and safety for decentralised virtual network functions.

Find a summary and preprint at https://www.fabriziomontesi.com/bliki/ChoreographyDefinedNetwork

#programming #security

Choreography-Defined Network (CDN)

📢 Faculty Job Alert!

We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our section, 🇩🇰.

🔗 Learn about us: https://acp.sdu.dk

📝 Apply: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2274/

⏳ Deadline: 1 Feb 2025

#AcademicJobs #ResearchJobs

ACP Research Group

ACP, an innovative research and education section in computer science at the University of Southern Denmark.