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
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.
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.
Lars Hanson is a Professor of Product Design Engineering at the University of Skövde's School of Engineering Science. His research focuses on ergonomics, digital human modeling, and optimizing manufacturing systems with a strong emphasis on human well-being and sustainable production. He leads projects like LITMUS (Industry 4.0 to 5.0 transition) and has contributed to developing tools such as IPS IMMA for ergonomic simulations. Active in virtual verification of human-robot collaboration and smart textile systems for workplace safety Published extensively in journals like International Journal of Human Factors Modelling and Simulation and IEEE Access Editor of conference proceedings and contributor to industry standards in automotive and healthcare sectors Research interests include multi-objective optimization of factory layouts, musculoskeletal risk assessment, and integrating ergonomic evaluations into product design processes. Current projects address Industry 5.0 sustainability challenges through digital twin technologies and smart manufacturing solutions.
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.
Martina Maggio is a Professor at the Department of Computer Science, Saarland University (full-time since 2020) and holds a 20% position at Lund University's Department of Automatic Control (since 2023). She serves as Coordinator of LTH's AI and Digitalization Profile Area and is a member of Lund University's Natural and Artificial Cognition initiative. Her research integrates control theory, real-time systems, and cybersecurity in cyber-physical systems. She has supervised over ten PhD students and postdoctoral researchers, contributing to advancements in resource allocation, fault-tolerant control systems, and self-aware computing. Education: PhD in Control Theory from Politecnico di Milano (with MIT visiting research), postdoctoral work at Lund University. Key affiliations: ELLIIT, Bosch Corporate Research (sabbatical 2019). Research focuses on robust control strategies under computational uncertainties, cyberattacks, and sensor misalignment. Notable work includes influential papers at the intersection of software engineering and control theory (e.g., 2015 SEAMS most influential paper). Grants and advising: Supervised 10+ students, including alumni Dr. Nils Vreman (2023) and Dr. Gautham Nayak Seetanadi (2021). Active in collaborative projects like Bosch's control system verification initiatives. Labs/Teams: Leads research groups at Saarland and Lund, focusing on real-time systems, embedded systems security, and AI-driven control 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).
Mojtaba Moazen is a PhD student and researcher at the Division of Theoretical Computer Science , part of KTH Royal Institute of Technology in Sweden. He is actively involved in the WASP – Wallenberg AI, Autonomous Systems and Software Program and the NEST CyberSecIT project, focusing on securing IoT applications and software supply chains. His work bridges academic research with critical real-world cybersecurity challenges. Education: PhD (ongoing) in Theoretical Computer Science, KTH Royal Institute of Technology Master of Science in Information Technology, Sharif University of Technology Bachelor of Science in Computer Engineering, K. N. Toosi University of Technology Research Interests: Mojtaba specializes in software security , IoT security , and software supply chains , with a focus on developing robust security mechanisms for emerging technologies. His recent publications highlight advancements in Android malware detection and continuous integration testing. Courses Assisted: Applied Cryptography (DD2520) Computer Security (DD2395) Internet Programming (DD1386) Language-Based Security (DD2525) Programming Techniques (DD1310)
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.
Hamed Nemati is an Assistant Professor at the Division of Network and Systems Engineering under the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. He was previously a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA) , where he also worked as a PostDoc and Research Fellow. Education : PhD in Computer Science from KTH Royal Institute of Technology Research Interests : Security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, applied machine learning Current Projects : Systematic verification of multi-language security protocols, hardware-software co-design for Spectre mitigation, capability-based access control models Scientific Awards : WASP (Wallenberg AI, Autonomous Systems and Software Program) faculty member Teaching Activities : Formal Methods in Security (Fall 2020-2023) at CISPA/Saarland University Digital Forensics and Incident Response (EP2780) (Fall 2024) at KTH
Karl Palmskog is a Lecturer at KTH Royal Institute of Technology in the Division of Theoretical Computer Science and the STEP research group. His work focuses on program verification and proof engineering, with particular emphasis on developing techniques and tools based on proof assistants for constructing functionally correct and secure software systems. Palmskog received his Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam, and his M.Sc. in Computer Science and Engineering from KTH in 2007. Prior to his current position, he was a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests span programming languages, software engineering, and formal verification, with a particular focus on developing techniques and tools based on proof assistants. He is an avid user of the Coq proof assistant for both proving and programming, often complemented by OCaml, and also utilizes HOL4 and other ML family dialects. His work bridges theoretical foundations with practical applications, particularly in the domains of blockchain systems, distributed systems, and automotive software verification. Analysis of his recent publications reveals a strong focus on Coq-based verification, with significant contributions to proof engineering tools and methodologies. His work includes developing tools for regression proving, change impact analysis, mutation testing for Coq projects, and lemma name suggestion using deep learning. There's also a growing trend toward applying formal methods to real-world systems like blockchain protocols and automotive software. Palmskog has been involved in several research projects, including Coq-community Proof Engineering and Distributed Components. His past projects include Trustfull (SSF), Model-based Event Driven Scalable Programming for the Mobile Cloud (NSF), Highly Adaptable and Trustworthy Software (EU FP7), and 4WARD Future Internet (EU FP7). As an educator, Palmskog has served as examiner, course responsible, teacher, and assistant for various courses including Algorithms, Data Structures and Complexity; Degree Projects; Game Theory; Parallel and Distributed Computing; and Programming Paradigms. His work on Chip, a Coq formalization of change impact analysis, demonstrates his commitment to creating practical, certified tools that bridge formal methods with software engineering practice.
