| Website | https://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.
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
✅ 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
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
🚀 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!
🌐 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
📢 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
⏳ Deadline: 1 Feb 2025
ACP Section
Lindsey Kuper
Fabrizio Montesi ⬣ A➔B
Kaushik Chakraborty
