Find Academic Supervisors

Pontus JohnsonView profile

Professor

• Cybersecurity
• Enterprise Architecture
• Attack Simulation
• +3 more

Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.

Cyrille ArthoView profile

Associate Professor

• Software Engineering
• Formal Methods
• Cybersecurity
• +5 more

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

• Autonomous Underwater Vehicles (AUVs)
• Multi-Agent Systems
• Robotics
• +6 more

Özer Özkahraman is a postdoctoral researcher at the Division of Robotics, Perception and Learning (RPL) at KTH Royal Institute of Technology. He works under Ivan Stenius and John Folkesson, focusing on underwater mission planning, simulation, and integration of autonomous systems. His email is ozero@kth.se . He completed his PhD at KTH under Petter Ögren, researching large-scale multi-agent coverage planning for autonomous underwater vehicles (AUVs). Current projects include the SMaRCSim multi-domain simulation platform and development of underwater vehicles like LoLo, SAM, and Evolo. Research interests span autonomous underwater systems, multi-agent coordination, control systems, and simulation infrastructure. He emphasizes modular, accessible frameworks for vehicle testing and real-world deployment. His work bridges theoretical methods (e.g., control barrier functions) with practical applications in marine robotics. Publications focus on AUV navigation, environmental sensing, and adaptive control. Projects like Real2Sim aim to align simulation with real-world vehicle dynamics using motion capture data. He collaborates internationally on topics like data-driven damage detection and model compression for resource-constrained robots. No academic awards are explicitly mentioned. He actively seeks collaborators for projects in sonar simulation, flow field modeling, and cyber-physical system integration.

• computer security
• formal methods
• program logics
• +3 more

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.

• Robotics
• Human-Robot Interaction
• Machine Learning
• +7 more

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.

• Type Theory
• Dependent Types
• Functional Programming
• +11 more

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.

Franziska KlüglView profile

Professor

• Multi-Agent Systems
• Agent-Based Simulation
• Artificial Intelligence
• +4 more

Franziska Klügl is a Professor in Computer Science at Örebro University's Faculty of Business, Science and Engineering, affiliated with the Center for Applied Autonomous Sensor Systems (AASS). She currently leads the KKS-funded TeamRob project on Human-Robot Teamwork and serves as Deputy Dean of the faculty since January 2023, chairing the academic appointment committee. Previously, she headed the Computer Science department (2020-2022) and served on the faculty board (2019-2022). Her research focuses on: Multi-agent systems : Development of languages, processes, and tools for agent-based simulation Interdisciplinary applications : Transportation, economics, epidemics, production, and mining simulations Simulation engineering : Integrating AI, machine learning, and formal methods to create accessible modeling tools for domain experts She created SeSAm , a visual programming tool for agent-based simulation that enables rapid prototyping of complex models. Analysis of her recent publications reveals three dominant themes: Human-robot collaboration frameworks and intention recognition systems Economic impacts of automation on labor markets and engineering services Advanced simulation methodologies using affordance theory and reinforcement learning She teaches software engineering, multi-agent systems, and agent-based modeling across multiple programs, including the WASP AI&ML PhD course. She leads research groups at the Machine Perception and Interaction Lab and oversees the TeamRob human-robot teamwork project.

Dilian GurovView profile

Professor

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +3 more

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).

Gerardo SchneiderView profile

Professor

• Formal Specification and Analysis of Contracts
• Formalization of Privacy Policies
• Model Checking
• +5 more

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).

Muhammad HumayounView profile

Senior Lecturer

• Machine Learning
• Computational Linguistics
• Natural Language Processing
• +5 more

Dr. Muhammad Humayoun is a Senior Lecturer at Karlstad University, Sweden, specializing in informatics education and computational linguistics research. He holds a Ph.D. from University of Grenoble Alpes (2012) and M.Sc. from Chalmers University (2006). His academic career spans over 15 years across Pakistan and Sweden, including teaching roles at COMSATS University, University of Central Punjab, and Higher Colleges of Technology. Research Focus: His work centers on NLP applications for under-resourced languages like Urdu/Punjabi, including text summarization, abusive language detection, and formalization of mathematical texts. He has developed linguistic resources (corpora, lexicons) and contributed to plagiarism detection systems in programming courses. Teaching Contributions: Designed and taught over 15 courses across multiple universities, including advanced programming, AI, and cloud computing modules. Currently teaches graduate-level courses like 'Legal Tech, AI and Rules-as-Code' and undergraduate software engineering courses at Karlstad University. Awards: Recognized for Urdu threat detection system (3rd place, 2021) and top rankings in Urdu fake news competitions. His work on Urdu summarization corpora has been widely cited in computational linguistics research.

• Self-Adaptive Software Systems
• Dynamic Software Product Lines
• Software Reuse
• +4 more

Nadeem Abbas is a Senior Lecturer at the Department of Computer Science and Media Technology, Faculty of Technology, Linnaeus University, Sweden. He earned his PhD in Computer and Information Science from Linnaeus University and has been working with software systems since 2001. His primary research interests include Self-Adaptive Software Systems, Dynamic Software Product Lines, Software Reuse, Requirements Engineering, Software Architecture and Design, and Architectural Analysis and Reasoning. He is actively involved in multiple research groups including: AdaptWise - focusing on foundations and engineering of self-adaptive software systems Engineering Resilient Systems (EReS) Research Lab - investigating system resilience Smart Industry Group (SIG) - an interdisciplinary group focusing on production and product innovation His recent publications show a strong trend in self-adaptive systems with expansion into health inequality research and environmental monitoring applications. His work bridges theoretical software engineering with practical industrial applications, particularly evident in his survey of industry practices in self-adaptation. Nadeem teaches several courses including: 1DV532 - Starting Out with Java 1DV533 - Structured programming with C++ 1DV534 - Object-Oriented Programming with C++ 2DV600 - Foundations of Software Technology 4DV610 - Adaptive Software Systems 2DV604 - Software Architectures 1DV607 - Object-Oriented Analysis and Design using UML He currently supervises multiple research projects related to self-adaptive systems, architectural analysis tools, and health inequality mitigation through digital solutions. His research portfolio demonstrates strong connections between academic research and practical industry applications, particularly in software architecture and adaptation techniques.

Hamed NematiView profile

Assistant Professor

• Security of systems software
• Formal methods and program logics
• Interactive theorem proving
• +2 more

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

• Program Verification
• Proof Engineering
• Formal Methods
• +4 more

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.

Elena TroubitsynaView profile

Professor

• Autonomous Systems
• Software Engineering
• Formal Verification
• +3 more

Elena Troubitsyna is a Professor of Computer Science with specialization in Software Engineering at KTH Royal Institute of Technology. Her research focuses on developing dependable, autonomous systems that ensure safety and reliability, particularly in complex environments like self-driving cars and drones. She employs rigorous mathematical modeling and verification techniques to address system complexity and real-time adaptability challenges. Her work emphasizes the co-engineering of safety and security in cyber-physical systems, integrating formal methods such as Event-B modeling with AI-driven solutions. Key research areas include cybersecurity for embedded systems, formal analysis of safety-security interactions, and resilient multi-agent systems. Elena has contributed to advancing methods for autonomous system navigation, fault tolerance, and privacy-preserving microservices architectures. Elena has organized international workshops like SENSEI (Safety-Security Interaction) and published extensively on topics such as model-driven engineering, formal verification of critical systems, and optimizing scheduling for distributed computing. Her research bridges theoretical foundations with practical applications, aiming to enhance societal trust in autonomous technologies.

• Distributed/Parallel Computing
• Information Visualization
• Fault-Tolerant Communication Mechanisms
• +4 more

Philippas Tsigas is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. He leads the Distributed Computing and Systems Research Group and has held roles as co-leader of research initiatives such as the PEPPHER project. His research spans distributed/parallel computing, information visualization, and fault-tolerant communication mechanisms. He has supervised numerous PhD students, including Yi Zhang, Håkan Sundell, and Farnaz Moradi. Research interests include lock-free data structures, multicore algorithms, secure network services, and visualization tools like Lydian and DataMeadow. Notable awards include Best Paper Awards at IPDPS 2003 and SNS 2012. His work has been published in top venues like IEEE Transactions on Parallel and Distributed Systems and ACM Journal of Experimental Algorithmics. Awards highlight contributions to lock-free algorithms and network modeling. Students have contributed to projects like NBmalloc (memory reclamation) and GPU Quicksort. Collaborations with institutions like SSF and VR have supported his research. Tsigas is also involved in teaching distributed systems and mentoring early-career researchers.