Latest News

A huge welcome to Morten, a Visiting Research from Aarhus University.

During Morten’s PhD and in close collaboration with his colleague Thomas Wright, Morten developed the first stream-based Runtime Verification (RV) language capable of reconfiguration at runtime, where historical states are preserved when sensible.

This week, Talia, Nathan and Peter attended the first SOCiALS Workshop.

The SOCiALS workshops explore questions of self-governance, collective intelligence, and sustainability of social structures through an algorithmic perspective toward organizational design. This includes the study of electronic institutions, the self-organizing processes behind well-functioning hybrid societies, and the emergence of social order and organizations using computational principles. The contributions go beyond the models of such systems; they target the development of an understanding of the fundamental information and information processing that underpins these social structures.

Huge congratulations to Ainaz for successfully defending her Master’s Thesis yesterday! (With very minor revisions)

Ainaz’s reserch asked the question of whether we should trust current machine learning based tools for bloodstain pattern analysis (BPA), exploring this interdisciplinary space between computer science and forensic science.

Zahra (Ronika) had this to say about the presentation:

This week, I had the pleasure of presenting our research, “Norm-Governed Human–AI Co-Creation in Marketing: An Artificial Collective Intentionality Framework,” at the 2026 American Marketing Association Summer Academic Conference.