Marco Peressotti

@mperessotti
24 Followers
32 Following
18 Posts
Associate Professor of Computer Science at the University of Southern Denmark.
Websitehttps://marcoperessotti.com/

📢 Job Alert: PhD and PostDoc positions at the Centre for Formal Methods and Future Computing (FORM) in Denmark.

📅 Application deadline: 2026-08-16 (CEST)

👉 Apply here (PhD): https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/4058/

👉 Apply here (PostDoc): https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/4076/

If you are interested in projects on programming languages and distributed systems, with a focus on foundations and formalisation, feel free to get in touch.

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory
Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @ETAPSconf.

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov,
@mperessotti, @stelios, Henning Urbat, and me.

Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.

https://www.coalg.org/cmcs26/programme/#day-2026-04-11

#Turin #Torino #coalgebra #etaps #cmcs
Programme - CMCS 2026

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