We aim to bring you a TECoSA Seminar at the start of each month during the academic year. This year, the talks will be on-line via Zoom or hybrid (in collaboration with Digital Futures).
The seminars are primarily on Thursdays at 15-16 CET, new seminars are added on ongoing basis.
To join any of the seminars use the the Zoom-link https://kth-se.zoom.us/j/66857695267.
All are welcome to attend and we hope for some lively discussions. Email tecosa-admin@kth.se if you are interested in being on one of the panels. Join us!
TECoSA seminar on 2026, THURSDAY 10 September at 15 o’clock.
Online talk: Engineering Nondeterminism: Towards Trustworthy Cyber-Physical Systems
Distributed cyber-physical systems such as autonomous vehicles, industrial controllers, and collaborative robots must operate correctly despite the uncertainties in the system and environment.
In this talk, Marjan Sirjani will show how we use nondeterminism as the basis for modeling and analyzing uncertainty caused by concurrency, timing variations, faults, attacks, dynamic environments, and AI components. I present our work on combining formal verification, model-based analysis, and runtime monitoring for assuring trustworthiness of distributed systems.
We use the actor-based modeling language Rebeca and its model checking toolset. This lets us capture asynchronous and real-time behavior and analyze safety, timing, and fault-tolerance properties. We model uncertainty explicitly, verify against the specification at design time, and use the verified model to monitor and shield the system at runtime. I show how this approach uncovered subtle inconsistencies in distributed redundant controller algorithms. In one case, verification exposed a fault-handling bug in a protocol already believed correct. I also show how our verification approach can guide systematic test design. I then present our work on runtime monitoring, anomaly detection and shielding, using a lightweight “Tiny Twin” derived automatically from formally verified models. The talk concludes with reflections on scalability, abstraction, and the role of formal methods in building resilient and dependable cyber-physical systems.
Bio:
Marjan Sirjani is a professor at Mälardalen University, and an affiliated professor at KTH, Sweden. Her research focuses on formal methods for software engineering, particularly modeling and verification of concurrent, distributed, timed, and cyber-physical systems. She is one of the pioneers behind Rebeca, an actor-based modeling language with formal verification support, and has contributed extensively to model checking, compositional verification, and state-space reduction techniques for actor-based systems (https://rebeca-lang.org/). Her current work addresses safety, security, runtime assurance, and resilience of autonomous and cyber-physical systems. Marjan has served as program committee member and chair for numerous international conferences, including SEFM, iFM, FM, FMICS, Coordination, SAC, FSEN, and DATE, and is an editor of the journal Science of Computer Programming. From June 2026, she serves as the leader of the research profile Trustworthy Smart Systems (TSS) at Mälardalen University (https://sites.mdu.se/tss).
TECoSA seminar on 2026, THURSDAY 7 May at 15 o’clock.
Online talk: Semantic Communication and Computing for Scalable Edge AI
In this talk, Carla Fabiana Chiasserini, professor at Politecnico di Torino, will talk about – as edge devices generate increasingly large volumes of data, executing AI tasks closer to the network edge is becoming essential to meet stringent requirements on latency, privacy, and scalability. However, this paradigm introduces challenges in communication efficiency, resource allocation, and distributed processing. This keynote explores how joint semantic communication-computation design can fundamentally improve edge AI systems. Rather than transmitting and computing raw data, semantic approaches allow to convey and process only the information that is relevant for a given task, thus substantially reducing communication and computing while preserving decision-making accuracy. We will discuss how these principles enable efficient network and split computing architectures where processing is distributed across devices and edge infrastructure. Key aspects include adaptive compression, resource-aware AI orchestration, and real-time multimodal data fusion for context-aware and scalable edge AI. Finally, we will outline open research questions in the field of semantic data communications and computing toward scalable edge AI.
Bio: Carla Fabiana Chiasserini is Full Professor at Politecnico di Torino, Italy, and a Research Associate with the Italian National Research Council (CNR) and the NationalInter-university Consortium for Telecommunications(CNIT). She is an Affiliated Professor at Chalmers Institute of Technology, Sweden, where she was also a WASP Guest Professor in 2023-2025. She was a Visiting Researcher at UC San Diego (1998-2003), and a Visiting Professor at Monash University (2012,2016),the Berlin Technische Universität (2021,2022), and the HPI, Potsdam University (Mercato Fellow, 2023 and 2024). She is an IEEE Fellow and an ACM Fellow and the director of the Advanced Wireless Experience Lab at Politecnico di Torino.
Her research interests include Next-generation Mobile Networks, Edge Computing, Machine Learning, and Mobile Autonomous Systems. Carla has published over 400 journal and conference papers and has received several awards for her scientific work. She serves as IEEE ComSoc Member-at-Large, Vice Editor-in-Chief of Computer Communications, and Editor-at-Large oft he IEEE Transactions on networking.
Zoom-link for the seminars: https://kth-se.zoom.us/j/66857695267
Did you miss the seminar? Take part of the presentation here.
TECoSA seminar on 2026, THURSDAY 9 APRIL, at 15 o’clock
Online talk: “The Road to Trustworthy ML: From Security and Privacy to Verifiability.”
In this talk, Buse Atli, Assistant Professor in the Cybersecurity Division at Linköping University, will present the evolving landscape of security and privacy in machine learning (ML), drawing on insights from her own research and experiences in both academic work and real-world applications. She will describe the ongoing arms race between attacks and defenses in ML systems and discuss what these dynamics reveal about trust, governance, and accountability in ML. Finally, she will argue that verifiability is one of the most critical yet still unresolved aspects of achieving trustworthy ML, particularly in light of legal frameworks such as the EU AI Act.
Bio: Buse Atli is an Assistant Professor in the Cybersecurity Division at Linköping University. Previously, she was a security researcher at Nokia Bell Labs, developing threat modeling strategies for security and privacy in AI-enabled network systems. She received her PhD from Aalto University in Finland. Her research focuses on trustworthy machine learning, including robustness, data privacy, model confidentiality, verifiability, and AI governance.
Zoom-link for the seminar : https://kth-se.zoom.us/j/66857695267
TECoSA seminar on 2026, THURSDAY 5 MARCH, at 15 o’clock
Online talk: “AI in Complex Industrial Systems: From Digitalization to Autonomous Cyber-Physical Environments.”
In this talk, Stella Riad will show how AI can create value even in imperfect, analog‑heavy environments, and how research in modelling, digital twins, automation and emerging cyber‑physical systems can bridge the gap toward more autonomous and resilient industrial ecosystems. The talk outlines where we are today, what remains difficult, and which technical, organizational and human capabilities we need in the future.
TECoSA seminar on 2025, WEDNESDAY 3 DEC, at 15 o’clock.
“Roadmap and Industry Action Plan for Future Manufacturing“
Professor Haydn Thompson will give an overview of the work performed in MASTT2040 and introduce the Roadmap and Industry Action Plan for Manufacturing-as-a-Service supporting the twin transition up to 2040.