Mariano Scazzariello is a Lecturer at KTH Royal Institute of Technology, Sweden, affiliated with the School of Electrical Engineering and Computer Science and the Department of Network and Systems Engineering. He teaches the course 'Network Systems with Edge or Cloud Datacenters (IK2227)'. His research focuses on advanced networking topics including machine learning in networks, high-speed packet processing, network emulation, and software-defined networking innovations. His work spans contributions to network emulation tools like Kathará and Megalos, stateful packet processing at terabit scales, and leveraging large language models (LLMs) for network configuration and vulnerability detection. Recent research emphasizes low-latency protocols (e.g., SRv6/DetNet integration) and GPU-centric networking on commodity hardware. Mariano’s publications (2020–2025) highlight expertise in network function virtualization, ASIC-based switching, and optimizing network configurations through AI-driven approaches. He has pioneered frameworks for evaluating routing protocols and virtualizing large network scenarios at scale.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
Mikael Gidlund is a Full Professor of Computer Engineering at Mid Sweden University in Sundsvall and holds an adjunct professorship at Beijing Jiaotong University, China. He serves as head of the Computer Engineering subject and program manager for the international MSc program in Computer Engineering. His academic journey includes a Ph.D. in Electrical Engineering from Mid Sweden University (2005), followed by roles at ABB Corporate Research (2008-2014) where he led wireless technologies research. Dr. Gidlund's research spans Wireless Communication, Industrial IoT, 5G/6G Networks, and Network Security . His group focuses on AI/ML for beyond-5G wireless communication, time-critical industrial applications, and IoT security. Current research themes include Future Wireless Networks (5G/6G) using AI/ML, Time-and mission-critical wireless communication, Industrial IoT, and IoT Security. His work demonstrates strong interdisciplinary connections between wireless systems, industrial automation, and security. His publication portfolio includes over 200 scientific articles and 20+ patents. Recent publications show a clear trend toward AI/ML integration in wireless systems, NOMA techniques, RIS technologies, and security solutions for industrial applications. The research output demonstrates strong international collaboration across six continents. Best Paper Award at IEEE International Conference on Industrial IT (2014) Co-author of IEEE Sweden VT-COM-IT Joint Chapter Best Student Journal Paper Award (2022) Dr. Gidlund actively mentors 6 current PhD students and has supervised 16 former PhD students who now hold positions at institutions including Ericsson, Lund University, Aalborg University, and Mid Sweden University. His research is supported by multiple active projects including IRS TransTech, NIIT, ENSURE 6G, and TRUST. He collaborates with institutions worldwide including City University of Hong Kong, Iowa State University, Kyung Hee University, and KTH Royal Institute of Technology. His research group maintains strong industry connections through projects with ABB, Ericsson, and other industrial partners, focusing on practical implementations of wireless technologies for industrial automation and critical infrastructure.
Gurjot Singh is a Research Fellow at the Department of Computer and Information Science (IDA) at Linköping University, Sweden. His research focuses on cybersecurity in aviation systems, next-generation communication networks, and industrial IoT security. He collaborates with prominent researchers like Andrei Gurtov and Suleman Khan, contributing to projects such as SEC-AIRSPACE and Post Quantum Secure Handover Mechanisms. His work spans vulnerability assessments, secure protocol design, and post-quantum cryptography applications. Education details are not explicitly stated, but his research aligns with advanced cybersecurity and network engineering domains. Key research interests include aviation cyber risk assessment, secure data link communications, and privacy-preserving authentication mechanisms for IoT and industrial environments. Publications emphasize cybersecurity challenges in aviation, industrial networks, and IoT, with recent work addressing quantum-resistant protocols and drone remote identification security. Collaborations include contributions to conferences like NordSec and AIAA DATC. He is affiliated with the cybersecurity lab at LiU, supporting educational programs like Digital4Business, which integrates AI and cybersecurity expertise. His role in the Database and Information Techniques (ADIT) division highlights involvement in interdisciplinary research groups.
Nir Piterman is a Professor in Computer Science at the University of Gothenburg's Department of Computer Science and Engineering. Previously, he was a Lecturer and later Reader (Associate Professor) at the University of Leicester (2010-2019), following postdoctoral research at EPFL (2005-2007) and a Research Fellowship at Imperial College London (2007-2010). PhD from Weizmann Institute of Science (2005), supervised by Amir Pnueli Postdoc at EPFL with Tom Henzinger (2005-2007) Research Fellow at Imperial College London (2007-2010) Lecturer at University of Leicester (2010-2019), promoted to Reader in 2012 Universitets Lektor (Associate Professor) at University of Gothenburg (2019-2021), promoted to Professor in 2021 His research focuses on formal verification, automata theory, and synthesis from temporal specifications. Current work under the ERC Consolidator Project dSynMA extends reactive synthesis to multi-agent systems, exploring frameworks combining message passing and variable sharing, algorithmic analysis of games with partial information, and logic extensions for agent interaction. He has supervised eight PhD students, including Prabhat Kumar Jha (path planning in game solving), David Lidell (automata constructions for LTL with past), and Claudia Cauli (cloud infrastructure security reasoning, 2022), with theses covering program verification, temporal logic, and game algorithms. ERC Consolidator Grant (2021-?, dSynMA) Editor-in-Chief, Formal Methods in System Design Editor, Acta Informatica Nir has taught courses such as Principles of Concurrent Programming (Chalmers, 2019-2025), Advanced C++ Programming (University of Leicester, 2012-2017), and Synthesis from Temporal Specifications (University of Buenos Aires, 2010). He actively recruits PhD candidates and has hosted postdoctoral researchers at multiple institutions.
Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.
Christian Smith is an Associate Professor and Lecturer at the Department of Robotics, Perception and Learning at Kungliga Tekniska Högskolan (KTH Royal Institute of Technology). His research focuses on robotics and applications in human-centered environments like home environments, small workshops, and healthcare facilities, including the development of new robotic systems for research. Teaching Roles: Course Coordinator/Teacher/Examiner for courses such as Introduction to Robotics (DD2410), Research Project in Robotics (DD2411), and Java Programming for Python Programmers (DD1380) Research Themes: Human-Robot Interaction, Behavior Trees, Exoskeletons, Intent Recognition, and Multimodal Perception Awards: No specific scientific awards mentioned in the provided text His KTH profile highlights work on adaptive robotics systems and formalized control strategies. The research portfolio spans from theoretical studies on behavior tree programming to applied work in assistive technologies and teleoperation systems.
Anna Gautier is an Assistant Professor in the Department of Computer Science at Chalmers University of Technology, affiliated with the Division of Data Science and AI. Previously, she was a Digital Futures Postdoctoral Fellow at KTH Royal Institute of Technology (2023–2025), focusing on mechanism design for multi-robot systems. Her research emphasizes planning under uncertainty, multi-agent systems, and human-robot interaction. She holds a PhD from the University of Oxford (2023), an MSc from the London School of Economics, and dual undergraduate degrees from Washington University in St. Louis. Education Background: PhD in Computer Science, University of Oxford (2023) MSc in Applied Mathematics, London School of Economics BA in Mathematics and BS in Computer Science, Washington University in St. Louis Research Interests: Dr. Gautier explores planning algorithms for multi-agent systems, particularly in uncertain environments. She designs mechanisms to coordinate robots and humans, leveraging game theory and formal methods. Her work addresses challenges like resource allocation, risk-aware decision-making, and trust in autonomous systems. Recent projects include contingency planning for autonomous vehicles and auction-based resource distribution. Professional Activities: She co-chairs the ECAI 2025 Demonstration Track and teaches the course Safe Robot Planning and Control at KTH. Her projects include collaborations with WASP-Nest (PerCorSo) and TECoSA on trustworthy autonomy. She actively publishes in top venues like AAMAS and AAAI. Labs and Teams: Affiliated with Chalmers' Data Science and AI division, she leads research in multi-agent systems and human-AI collaboration.
Andreas Abel is a Senior Lecturer in the Division of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg. He has previously served as an Assistant Professor at Ludwig-Maximilians-Universität (LMU) Munich and has been a visiting researcher at INRIA in Paris. His primary affiliations are with Chalmers and the University of Gothenburg, where he conducts research and teaches in programming languages and type theory. Chalmers University of Technology, Department of Computer Science and Engineering, Senior Lecturer University of Gothenburg, Division of Computing Science LMU Munich, Assistant Professor (former) INRIA Paris, Visiting Researcher Abel’s research lies at the intersection of type theory, functional programming, and formal verification. He is particularly known for his work on dependent types, normalization by evaluation, and the development of the Agda proof assistant. His interests include constructive logic, logical frameworks, modal and linear typing, program verification, and compiler construction. He leads the Modal Dependent Type Theory project funded by the Swedish Research Council (Vetenskapsrådet) and has contributed to several other major research initiatives in programming language theory. His recent publications reflect a strong focus on foundational aspects of type systems, including cubical type theory, decidability of conversion, and formalization of algebraic completeness. These works appear in top-tier venues such as ICFP, LICS, POPL, and TYPES, showcasing both theoretical depth and practical implementation in Agda. Distinguished Paper Award, ICFP 2019 Editor, Theoretical Pearls column, Journal of Functional Programming Member, IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students and contributes to the research community through program committee memberships for major conferences including LICS, ICFP, and CPP. He is a senior developer of Agda and the maintainer of the BNFC (Backus-Naur Form Compiler) tool. His work bridges theoretical computer science with practical software development for formal methods. He is involved in several research groups and projects, including the Programming Logic Group at Chalmers and the international EUTYPES network. His role as principal investigator and core contributor in multiple funded projects highlights his leadership in the field of programming language foundations.
Dr. Fabio Ballini is an Associate Professor specializing in Maritime Energy Management at World Maritime University. With a PhD in Electrical Engineering from the University of Genova, his research focuses on sustainable maritime solutions including port energy management, circular economy applications, and ship emission control technologies. He has led numerous EU-funded projects such as Horizon Europe's SeaNergy and CyberMar. Research Expertise: Air pollution abatement, externality cost analysis, and clean-tech solutions for maritime transport. His work bridges economic and environmental dimensions of port operations. Professional Experience: Former Adjunct Professor at the University of Genova teaching Maritime Economy and Social Cost-Benefit Analysis. Extensive project management experience across EU programs including TEN-T and Interreg.
Professor Ahmed Hemani is a faculty member at the Division of Electronics and Embedded Systems, KTH Royal Institute of Technology, affiliated with the Digital Futures Faculty. He holds the role of PI for the project 'New Chip Architectures for Industrial Vision' and leads research in reconfigurable computing, memristor-based systems, and hardware acceleration for AI and edge computing. His work bridges theoretical computer science with practical VLSI design and embedded systems development. He actively contributes to cross-disciplinary initiatives at Digital Futures, a joint center with Stockholm University and RISE Research Institutes of Sweden focused on digital innovation. His research emphasizes scalable FPGA/HPC architectures, low-power neuromorphic systems, and optimization techniques for custom silicon solutions. Current projects include a Lego-inspired edge AI framework and memristor-driven MIMO acceleration. Teaching responsibilities span advanced courses in SOC design, digital system verification, and embedded systems. He supervises advanced-level degree projects across computer engineering and ICT innovation specializations, emphasizing hands-on hardware-software co-design methodologies. Recent publications highlight innovations in memristor applications, FPGA-based acceleration, and reconfigurable architectures for neural networks and bioinformatics. His work addresses challenges in dark silicon utilization, energy-efficient computation, and high-performance embedded systems.
Zebo Peng is a Professor and Deputy Head of Department at Linköping University's Department of Computer and Information Science (IDA), leading the Software and Systems (SAS) division. His research focuses on embedded systems design, electronic design automation, SoC testing, and real-time systems with emphasis on fault tolerance and hardware/software co-design. He has contributed to projects like the ASTECC initiative, funded by the Swedish Foundation for Strategic Research, addressing adaptive software in edge-cloud continuum systems. Key research interests include cyber-physical systems security, time-sensitive networking (TSN), and optimization techniques using genetic algorithms. Recent work explores thermal-aware design for reliability, security-aware scheduling, and stability guarantees in control systems. His publications span journals like IEEE TPDS and ACM TECS, alongside conference contributions on topics like resource management and fault detection in distributed systems. Prof. Peng collaborates extensively within the SAS division, which bridges academic and industrial research in software engineering and computer systems. His team's projects address challenges in real-time systems, embedded security, and parallel computing architectures.
Dilian Gurov is a Professor in Computer Science at KTH Royal Institute of Technology, associated with the Digital Futures Faculty and the Division of Theoretical Computer Science. He also coordinates the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, he earned a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002). His research focuses on software specification and verification, including contracts, program models, logics, and tools, as well as multi-agent strategic planning involving knowledge-based strategies in imperfect information settings. Key contributions include the CAV Distinguished Paper Award 2023 for 'Automatic Program Instrumentation for Automatic Verification' and an EASST award for 'Checking Absence of Illicit Applet Interactions: A Case Study' (2004). He leads projects funded by VR (SEFROS, ContraST) and Vinnova (AVerT2) and collaborates with industries like Scania on formal verification of C programs. His service roles span over 30 conference committees and organization roles, including PC memberships for iFM, TAP, and ISoLA. Teaching responsibilities include courses such as 'Formal Methods,' 'Program Semantics and Analysis,' and 'Knowledge in Games with Imperfect Information.' His work emphasizes practical applications of formal methods, bridging academic research with industry needs through collaborations and tool development (e.g., CVPP, ProMoVer, TriCo).
Mahdi Fazeli is an Associate Professor at the School of Information Technology, Halmstad University, Sweden, specializing in hardware security and trust, energy-efficient computing, and embedded and cyber-physical systems. His academic journey began with a Ph.D. in Computer Engineering from Sharif University of Technology, Iran, in 2011. His career progression includes positions as Associate Professor at Bogazici University (2019-2021) and Iran University of Science and Technology (2016-2019), and Assistant Professor at the same institution (2011-2016). His research interests focus on hardware security and trust, reliable VLSI circuits and systems, energy-efficient computing, and dependable embedded systems. His work bridges the gap between theoretical security concepts and practical implementations in real-world systems, particularly in IoT and embedded environments. He has established himself as a leading researcher in Physical Unclonable Functions (PUFs), hardware trojans detection, and energy-efficient security solutions for resource-constrained devices. His publication record shows a clear progression and deepening expertise in hardware security, with recent work focusing on cutting-edge applications in edge computing, vehicular networks, and IoT security. His 2023-2025 publications demonstrate significant contributions to magnetic memory-based security primitives, anomaly detection systems, and energy-efficient security mechanisms. Throughout his career, Fazeli has led multiple research initiatives including the Dependable Systems and Architecture Lab (DSA) and the Networked and Embedded Systems Lab at Iran University of Science and Technology. His leadership extends to heading the Hardware Group and serving as Vice Chair for Educational Affairs, demonstrating his commitment to both research excellence and academic administration.
Gerardo Schneider is a Full Professor in Computer Science at the University of Gothenburg, Sweden, and holds a joint appointment at Chalmers University of Technology. He serves as Head of the Data Science and Artificial Intelligence (DSAI) Division and has previously led the Formal Methods Division and acted as Director of Graduate Studies. University of Gothenburg: 2009–present Chalmers University of Technology: 2009–present Uppsala University: 2002–2003 University of Oslo: 2005–2009 His research focuses on formal methods for software engineering, including contract specification and analysis , privacy policy formalization , model checking , and runtime verification . He works on verification of real-time systems, embedded systems (e.g., smart Java cards), and blockchain-based smart contracts. Key projects include: X-LEGAL (2020–2023): Smart Legal Contracts (Swedish Research Council) PolUser (2016–2019): User-Controlled Privacy Policies (Swedish Research Council) ARVI (2014–2018): Runtime Verification Beyond Monitoring (ICT COST Action) ReMU (2013–2017): Reliable Multilingual Digital Communication (Swedish Research Council) He has supervised numerous PhD and Master’s students in formal methods, blockchain security, and privacy compliance. His tools include SPeeDI (Polygonal Hybrid Systems Verification), CLAN (Contract Normative Conflict Detection), and AnaCon (Controlled Natural Language Analysis).
