Christine Grosse is a Researcher at Mid Sweden University, affiliated with the Department of Humanities and Social Sciences (HSV) . She contributes to the Risk and Crisis Research Centre (RCR) and serves as a member of the Forum for Digitalization (FODI) . PhD in Computer and Systems Science (Mid Sweden University, 2020) MSc in Information Security (Luleå University of Technology, Sweden) BSc in Business Informatics (FernUniversität in Hagen, Germany) Her research focuses on systems theory , critical infrastructure protection , information systems security , risk communication , and regional development . She explores intersections between governance, technology, and societal resilience through empirical studies and conceptual frameworks. Key publication trends address: Critical infrastructure resilience (power shortages, airports, systemic risks) Digital transformation in crisis management Regional development challenges in remote areas Information flow barriers in emergency planning Generative AI applications in risk research Her work combines interdisciplinary methodologies like Soft Systems Methodology and data simulations to improve collaborative planning and risk governance.
Wei Shi is a Researcher at Kungliga Tekniska Högskolan (KTH Royal Institute of Technology), affiliated with the Division of Information Science and Engineering. His research interests align with the department's focus on information science and engineering, though specific subfields are not explicitly detailed in the provided text. He can be reached at wshi@kth.se.
Joel Brynielsson serves as an Associate Professor at KTH Royal Institute of Technology within the Division of Theoretical Computer Science, School of Electrical Engineering and Computer Science, while simultaneously holding the position of Research Director at the Swedish Defence Research Agency (FOI) since 2008. His academic credentials include a Ph.D. in Computer Science (2006) and M.Sc. in Computer Science and Engineering (2000), both from KTH, followed by achieving Docent (Habilitation) status in Computer Science in 2015. Dr. Brynielsson's research spans uncertainty management, information fusion, probabilistic expert systems, command and control systems, operations research, game theory applications, web mining, privacy-preserving data mining, and cyber security. His work bridges theoretical computer science with practical security applications, particularly in national defense contexts. His recent publication record shows consistent scholarly output through 2024, with research focusing on cybersecurity practices in Swedish administrative authorities, cyber-threat perception in the financial sector, and social media applications for crisis management. The interdisciplinary nature of his work is evident in collaborations across security, defense, and emergency management domains. Associate editor for Springer Security Informatics journal Technical program chair for IEEE EISIC conferences (2013-2019) Regular reviewer for security and informatics journals Research funding from EU, Swedish Armed Forces, and public authorities Through his dual appointments, Dr. Brynielsson maintains a vital connection between academic research and practical defense applications, contributing significantly to both scholarly knowledge and real-world security solutions.
Eric Cornelissen is a Doctoral Student at the School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology in Stockholm, Sweden. He works within the Division of Theoretical Computer Science, focusing on supply chain security as part of the CHAINS project. His research spans theoretical computer science and cybersecurity, with a particular emphasis on cryptographic protocols, secure communication frameworks, and vulnerability analysis in software systems. This aligns with his involvement in the CHAINS project, which addresses systemic security challenges. Recent publications highlight his expertise in cryptographic analysis and JavaScript runtime security. Key contributions include evaluating the Message Layer Security (MLS) protocol and identifying prototype pollution vulnerabilities in web technologies. His work intersects theoretical rigor with practical applications in supply chain and software security.
Markus Hidell is an Associate Professor at the Royal Institute of Technology (KTH) , specializing in computer networks, IoT systems, and network security. His teaching includes courses like Advanced Internet Technology and Security and Data Privacy on the Internet , where he serves as examiner or teacher. Research Focus : IoT architectures, energy-efficient networking, and security in distributed systems. Recent Publications : Investigate IoT scalability, buffer management algorithms, SDN security, and LTE vulnerabilities. Key Technical Areas : Network virtualization, delay-tolerant systems, and smart city infrastructure.
Yifei Jin is a WASP Industrial PhD student at KTH Royal Institute of Technology's School of Electrical Engineering and Computer Science, specifically within the Division of Theoretical Computer Science. They are supervised by Professor Aristides Gionis and Associate Professor Sarunas Girdzijauskas at KTH, and also serve as an Experienced Researcher at Ericsson Research and a Visiting Researcher at Yale University under Rex Ying and Leandros Tassiulas. Yifei's research focuses on graph mining , network analysis , and graph representation learning , particularly applied to crowdsourcing data and wireless communication systems. Their work intersects telecommunications network optimization machine learning for graph-structured data AI-driven wireless resource management edge computing and distributed AI as evidenced by their publications spanning 2017–2025. Their academic contributions include 15 recent papers exploring topics such as neural surrogates for voltage drop estimation, wireless ray-tracing models, scalable distributed AI deployment, and vehicle platooning coordination. These publications demonstrate expertise in network traffic reduction KPI conflict analysis graph convolutional networks hyperbolic embeddings for ontologies real-time network diagnostics .
Gunnar Karlsson is a Professor at KTH Royal Institute of Technology, specializing in teletraffic systems and network engineering. He has served as Head of the Department of Network and Systems Engineering until 2017 and currently engages in continuous education initiatives through Cybercampus Sweden and KTH Center for Total Defence. His academic background includes a PhD from Columbia University (1989) and MSc from Chalmers University of Technology (1983), with visiting professorships at EPFL and ETH Zurich. Research Interests: Mobile communication, Internet QoS, opportunistic networks, cybersecurity, and higher education pedagogy. Public Engagement: Active contributor to debates on university roles, technology's societal impact, and automation's consequences for work. Teaching: Involved in courses including Computer Networks , Data Communications , and Security Engineering , with focus on ethics and societal implications. Awards: Recipient of the KTH Pedagogic Prize (2015) for innovative teaching approaches. Leadership: Editor for IEEE Journal on Selected Areas of Communication; advocates for engineering's role in societal progress.
Janos Kövér is an industrial PhD student affiliated with the KTH Royal Institute of Technology in the Division of Theoretical Computer Science . Supervised by Roberto Guanciale and György Dán, his research is funded by Ericsson AB and the Wallenberg AI, Autonomous Systems and Software Program (WASP). He works in the intersection of theoretical computer science and practical applications in artificial intelligence, autonomous systems, and software engineering. Supervisors: Roberto Guanciale, György Dán Funding: Ericsson AB, WASP Contact: Room 4516, Lindstedtsvägen 5 Plan 5
Karl Meinke is a Professor at KTH Royal Institute of Technology, where he serves as Head of the Computer Science Department and Head of the Division of Theoretical Computer Science within the School of Electrical Engineering and Computer Science. His research focuses on applying machine learning techniques to software testing, particularly for safety-critical systems like autonomous vehicles and embedded systems. His research interests span machine learning, software testing, safety critical systems, embedded systems, autonomous driving, digital pathology, and graph neural networks. Meinke has developed innovative approaches like Learning-Based Testing that combine machine learning with formal methods for system validation. His work bridges theoretical computer science with practical applications in automotive systems and medical diagnostics. His recent publications show a strong trend toward applying graph neural networks to diverse domains including program analysis, digital pathology, and autonomous vehicle testing. His research demonstrates a consistent focus on solving the test oracle problem and generating meaningful test cases for complex systems where traditional testing approaches fall short. Meinke actively collaborates with Karolinska Institutet (KI), indicating interdisciplinary work between computer science and medical research. He is responsible for Masters level education in software testing at KTH and serves as examiner for several advanced courses including Degree Projects in Computer Science and Software Reliability. His research group has developed tools like LBTest for learning-based testing of reactive systems, and he has secured funding for projects such as the ITEA3 Testomat Project focused on next-level test automation. His work has significant implications for validating autonomous systems where safety is paramount. Meinke leads research in using machine learning to address fundamental challenges in software testing, particularly for systems where traditional test oracles are unavailable or impractical. His approach of combining active learning with formal specifications has created new pathways for validating complex cyber-physical systems.
Antonio Napoli is a Researcher at KTH Royal Institute of Technology , affiliated with the Division of Theoretical Computer Science . He contributes to academic activities through teaching engagements in multiple computer science and security-focused courses. Research Interests Theoretical Computer Science Computer Security Software Engineering Programming Languages Language-Based Security Logic for Computer Scientists His teaching responsibilities span courses like Computer Security (DD2395) , Language-Based Security (DD2525) , Logic for Computer Scientists (DD1351) , Principles of Programming Languages (DD2481) , Software Engineering Fundamentals (DD2480) , and Software Safety and Security (DD2460) . Contact: anapoli@kth.se
Karl Norrman is an Industry doctoral student and Researcher at the Department of Theoretical Computer Science (TCS) at KTH Royal Institute of Technology, concurrently working as a Security Researcher at Ericsson Research since 2001. His academic appointment at KTH is part-time (20% time allocation), while he spends the majority of his time (80%) at Ericsson, where he holds the formal title of Expert Mobile Network Security. He is supervised by Professor Mads Dam for his doctoral studies and receives partial research funding from the Wallenberg AI, Autonomous Systems and Software Program (WASP). His educational background includes: PhD candidate in Computer Science at KTH Royal Institute of Technology, Department of Theoretical Computer Science (ongoing). Research focuses on formal modeling and proofs for cryptographic protocols using pen-and-paper proofs and mechanized proof-support tools such as Tamarin and EasyCrypt. Master's degree in Computer Science from Stockholm University, Department of Mathematics (2001). Thesis: "RTP Security in 3G Networks." During this work, he contributed to the development of the Secure Real-time Transport Protocol (SRTP), standardized in IETF as RFC 3711. Norrman's research centers on formal methods for security protocol verification , with particular expertise in cryptographic protocol analysis, modeling, and mechanized proof techniques. His work bridges theoretical computer science and practical security applications, focusing on making formal verification tools accessible for industrial adoption. Key research areas include 5G/6G security architectures, privacy-preserving mechanisms for mobile networks, authentication and key agreement protocols, and software security. He advocates for "goal oriented and motivated security designs" that balance theoretical rigor with practical implementation constraints while specializing in translating complex security requirements into implementable solutions for telecommunications infrastructure. Analysis of Norrman's publication history reveals a consistent evolution from foundational work on SRTP (2002-2007) through LTE security analysis (2014-2015) to pioneering 5G security research (2016-2020) and now 6G security exploration (2024). His work demonstrates methodological progression from analyzing existing protocols to designing novel security mechanisms and developing verification frameworks like OpenSAW. A distinctive pattern is his focus on industrial applicability —ensuring theoretical security models translate to real-world implementations, particularly evident in his work on USIM-compatible protocols and error-correcting authentication for noisy wireless channels. Recent publications increasingly address cross-domain challenges like secure federated learning in mobile networks, reflecting the expanding scope of telecommunications security. Professional engagement: Reviewer for ACM CCS 2023, EURO S&P 2023, ACM CCS 2022, NordSec 2022, Vietcrypt 2006, IEEE Telecommunications Journal Active contributor to 3GPP security standardization processes Co-author on multiple Ericsson whitepapers shaping industry security practices Norrman maintains a unique dual affiliation that enables direct translation of academic research into industrial security solutions. At KTH, he contributes to the Theoretical Computer Science group's formal methods research, while at Ericsson he applies these techniques to real-world security challenges in mobile network development. His work on OpenSAW exemplifies this bridge between academia and industry, creating practical tools for automated security testing of component-based software systems. This position allows him to identify emerging security challenges in next-generation networks while maintaining theoretical rigor in his approach.
Andreas Sabelfeld is a Visiting Professor at the Theoretical Computer Science department of the Royal Institute of Technology (KTH) in Stockholm, Sweden. His office is located at Lindstedtsvägen 5, Floor 5. Research interests include theoretical computer science , focusing on areas like security , privacy , formal methods , and programming languages . While no recent publications are listed, his work aligns with foundational topics in computer science. Contact: andsab@kth.se
Jonas Spenger is a Researcher at the Division of Theoretical Computer Science within the School of Electrical Engineering and Computer Science (EECS) at KTH Royal Institute of Technology . Education : BSc and MSc in Computer Science from Humboldt-Universität zu Berlin . Experience : Previously worked at RISE Research Institutes of Sweden and as a research assistant at HU Berlin , Charité Berlin , and Zuse Institute Berlin . His research interests span distributed systems , programming languages , cryptography , and serverless computing . He leads the Portals project, focusing on stateful serverless systems and secure computation. His recent work includes studies on Byzantine Fault Tolerant (BFT) consensus, verifiable BFT, and the application of blockchain in tamper-proof protocols. Jonas’s publications (2020–2024) address topics such as stateful serverless computing , dataflow systems , and secure multi-party computation (MPC) . He also organizes a Zoom MPC Study Group , documenting discussions on protocols like BGW, GMW Compiler, and Beaver Triples. Contact him via jspenger@kth.se or explore his work on GitHub and LinkedIn .
Anders Västberg is a Lecturer at KTH Royal Institute of Technology within the Department of Communication Systems. His work spans teaching and examination roles across various courses in computer science, electrical engineering, and information and communication technology (ICT) innovation, including Wireless Communication Systems , Mobile Networks , and Programming of Parallel Systems . Teaches courses like Internet of Things and Introduction to Computer Security . Examiner for advanced-level degree projects in embedded systems and communication systems. Focuses on wireless networking, heterogeneous networks, and energy-efficient network design. His research interests include energy efficiency in telecommunications , green radio systems , and network optimization . Recent work explores power consumption in backhaul systems , heterogeneous network deployment , and signal propagation in ionospheric channels . Articles highlight trends in green networking , starting with 2016 studies on cell DTX and heterogeneous networks , followed by 2013 work on backhaul optimization and wideband efficiency . Earlier papers (1997–2008) focus on ionospheric signal distortion and HF channel analysis .
Douglas Wikström is a Lecturer in Theoretical Computer Science at the Royal Institute of Technology (KTH), specifically within the School of Electrical Engineering and Computer Science. He is based at Lindstedtsvägen 5, Floor 5, Stockholm, with contact information including phone +46 8 790 81 38 and email dog@kth.se. Dr. Wikström specializes in cryptography and theoretical computer science, with a strong focus on electronic voting systems, security protocols, and mix-net technologies. His research spans zero-knowledge proofs, verifiable computation, and cryptographic protocol design. His work demonstrates significant contributions to the theoretical foundations of secure voting systems and privacy-preserving technologies. His recent publications reveal a continued emphasis on cryptographic verification techniques, security analysis of voting protocols, and efficient implementations of cryptographic primitives. The research trajectory shows consistent contributions to both theoretical aspects of cryptography and practical implementations of secure systems. As an educator, Dr. Wikström teaches several advanced courses including Algorithms, Data Structures and Complexity (DD2350), Advanced Algorithms (DD2440), Fundamentals of Cryptography (DD2448), and Applied Cryptography (DD2520), where he serves as course coordinator, teacher, and examiner. His teaching portfolio demonstrates a strong commitment to both theoretical foundations and practical applications of computer science.
