Find Academic Supervisors

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

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

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

Alejandro RussoView profile

Professor

• Computer Science
• Information Security
• Functional Programming
• +3 more

Alejandro Russo is a Professor at Chalmers University of Technology , specializing in Information Flow Control (IFC) , Secure Programming Languages , and Functional Programming . His research bridges theoretical foundations and practical implementations, focusing on mitigating timing channels , covert channels , and data leakage in concurrent systems. Developed novel frameworks for Differential Privacy with provable accuracy bounds Pioneered COWL integration for browser security and instruction-based scheduling to prevent cache timing attacks Led major projects like HIPSTER (hybrid static/dynamic IFC) and AppFlow (practical IFC deployment) His publications reveal expertise in security libraries for Haskell and Python , with a focus on faceted execution , label manipulation , and mechanized security proofs . Students under his supervision have explored topics ranging from secure eDSLs to privacy-preserving compilation techniques . Scientific awards : Google Research Award (2011) for Python taint analysis Advising and grants : Principal Investigator for VR , STINT , and Google Research Award Supervised 12+ PhD and Master’s students in security and functional programming research

Martin SjölundView profile

Associate Professor

• Software Engineering
• Cyber-Physical Systems
• Modelica Compiler Development
• +3 more

Martin Sjölund is an Associate Professor at Linköping University's Department of Computer and Information Science (IDA), part of the Software and Systems (SAS) division. His work focuses on software engineering and cyber-physical systems, with a specialization in Modelica compiler development and open-source simulation tools. He contributes to the OpenModelica project, advancing compiler frameworks, integration with Julia, and standardization efforts. Research interests include compiler design, formal methods, and domain-specific languages. Recent work emphasizes modular compiler architectures, structural variability handling, and interoperability between Modelica and other systems like Julia and Python. He has co-authored over 30 peer-reviewed publications since 2017, with a focus on compiler optimization, co-simulation, and educational applications of Modelica. As part of the SAS division, he collaborates with researchers like Lena Buffoni, Adrian Pop, and Peter Fritzson on projects funded by the MODPROD Center and other initiatives. His contributions to open-source tools have been recognized through conference proceedings and industry partnerships.

• Model-Driven Engineering
• Robotics Software Engineering
• Software Architecture
• +3 more

Federico Ciccozzi is an Associate Professor in Computer Science at Mälardalen University's School of Innovation, Design and Engineering, where he leads the ASSO research group and the VR ORPHEUS project. He also serves as Head of Research Education in Computer Science and Electronics at the university. His academic journey includes a M.Sc. in Global Software Engineering (via the GSEEM program) and a Ph.D. in Computer Science and Engineering from Mälardalen University (2014), followed by promotion to Docent (Associate Professor) in 2017. Education: M.Sc. in Global Software Engineering (GSEEM program, joint between Mälardalen, L'Aquila, and Amsterdam) Ph.D. in Computer Science and Engineering (Mälardalen University, 2014) Docent (Associate Professor) in Computer Science (Mälardalen University, 2017) His research focuses on model-driven engineering, robotics software engineering, and software architecture. He has pioneered work in blended modeling approaches, EAST-ADL extensions, and formal verification of complex systems, particularly in robotics and automotive domains. Recent projects emphasize industrial collaborations, such as optimizing ROS2 multi-robot systems and enhancing safety-critical software through model-based methodologies. Research Contributions: Developed frameworks for transforming surface languages into augmented EAST-ADL models Advanced blended modeling techniques across JetBrains MPS and Eclipse tools Examined consistency management in industrial model-driven development Edited special issues on model-driven engineering and low-code development His work bridges academic innovation and industrial practice, with notable projects like the Rubus Component Model for vehicular systems. He actively organizes workshops (e.g., RoSE, ASYDE) and contributes to standardization efforts like the Portable Test and Stimulus Standard. Labs/Teams: Leads the ASSO research group, focusing on advanced software engineering methodologies and robotics systems development.

Seif HaridiView profile

Professor

• Parallel Computing
• Distributed Computing
• Cloud Computing
• +4 more

Seif Haridi is a Professor at KTH Royal Institute of Technology in Stockholm, Sweden, specializing in parallel and distributed computing systems. He holds dual roles as Chair-Professor of Computer Systems and Chief Scientific Advisor at RISE SICS. His research integrates systems engineering with theoretical foundations, focusing on programming systems, distributed computing, and big data technologies. Key contributions include co-designing SICStus Prolog, the Mozart Programming System, and Apache Flink, as well as leading the development of HOPS, a European big data platform awarded the IEEE Scale Prize 2017. He has led major EU projects like EIT-Digital’s cloud computing initiative and co-founded startups such as LogicalClocks and HiveStreaming. His teaching includes courses on distributed algorithms and peer-to-peer computing at KTH. Notable awards include the European Data Science Technology Innovation 2019. His work spans systems like HOPS, Flink, and Kompics, emphasizing scalability and robustness in distributed environments. Current projects include CDA (Continuous Deep Analytics) and ExtremeEarth for geospatial data analysis. Research interests include distributed algorithms, consensus protocols, and cloud-native systems. His lab’s contributions to scalable storage (e.g., HopsFS) and stream processing (Apache Flink) highlight his impact on both academia and industry.

David Black-SchafferView profile

Professor

• Computer Architecture
• Memory Systems
• Parallel Programming
• +4 more

David Black-Schaffer is a Professor at Uppsala University's Department of Information Technology, specializing in computer systems research. As of 2023, he serves as Dean of Research for the Faculty of Science and Technology. His work bridges software and hardware innovations to enhance data movement efficiency in computer systems, with applications commercialized through a startup and integrated into industry standards like OpenCL. Black-Schaffer earned his PhD in Electrical Engineering from Stanford University in 2008, focusing on many-core processor programming. His career spans roles at Apple Inc. (contributing to OpenCL standards), postdoctoral research at Uppsala University, and academic progression from assistant to full professor (2010–2017). He has held leadership roles including Head of the Division of Computer Systems (2022) and department representative on the faculty Advisory Committee for Research (2021). His research spans computer architecture, memory systems, parallel programming, and simulation techniques. Recent publications (2024–2020) explore garbage collection, cache optimization, memory contention, NUMA systems, and instruction scheduling. Key trends include software-hardware co-design for power efficiency, reuse-aware data placement, and machine learning for performance modeling. Knut & Alice Wallenberg Foundation: Wallenberg Academy Fellowship Prolongation (2020–2025), Wallenberg Academy Fellow (2016–2021) Swedish Research Council (VR): Project Grant (2019–2024), Young Researcher Grant (2015–2018), Framework Grant (2012–2017) European Research Council: ERC Starting Grant (2017–2022) Teaching Awards: Uppsala Engineering and Science Student Union Pedagogical Prize (2012), Uppsala University Pedagogical Prize (2016), Uppsala Technical Physics Students' Teaching Award (2019) Other Grants: ScalableLearning flipped classroom project (2012–2020), Arm Ltd. collaborations on memory system designs He pioneered flipped-classroom teaching through the ScalableLearning project, impacting over 80,000 students. His research is conducted in collaboration with institutions like Arm Ltd., with past contributions to Apple's OpenCL implementation and UPMARC research center.

Niklas ForsView profile

Assistant Professor

• Software Engineering
• Programming Languages
• Compiler Design
• +3 more

Niklas Fors is an Associate senior lecturer at the Department of Computer Science, Faculty of Engineering, Lund University, and participates in ELLIIT (the Linköping-Lund initiative on IT and mobile communication) as well as the LTH Profile Area on AI and Digitalization. His research pioneers code reuse in data-flow automation languages through the Bloqqi language prototype from his PhD thesis, alongside innovations in reference attribute grammars and software language tooling. Key domains include static program analysis, compiler design, and feature-based programming, with applications spanning cyber-physical systems and educational technology. Recent publications reveal a strong trend toward demand-driven static analysis techniques, efficient fixed-point attribute evaluation, and interactive program analysis exploration via property probes—showcasing practical implementations for Java code analysis and educational settings. His accolades include: Distinguished Artifact Award (2025) Distinguished Artifact Award (2024) Distinguished Paper Award (2024) As co-supervisor for PhD candidates Alfred Åkesson and Idriss Riouak, he leads projects like "Cloud Based Language Tooling," "Cloud Tooling for Large-Scale Cyber-Physical System Model-Based Development," and "Explainable Declarative Programming Analysis," securing funding from ELLIIT and Vinnova. His work integrates with Lund's AI and Digitalization profile area, focusing on scalable language tools for next-generation cyber-physical systems through the ELLIIT initiative.

• Data-Intensive Technologies
• Software Engineering
• Machine Learning
• +5 more

Welf Löwe is a资深 researcher and faculty member at Linnaeus University's Faculty of Technology, Department of Computer Science and Media Technology, and also teaches at Linköping University's Department of Computer and Information Science. His research focuses on data-intensive technologies, software metrics, design pattern detection, and context-aware systems. He leads the Data Intensive Software Technologies and Applications (DISTA) group and contributes to the Linnaeus University Centre for Data Intensive Sciences and Applications (DISA). He actively collaborates on projects like the Data Intensive Applications (DIA) graduate school and the High-Performance Computing Center (HPCC). His work spans machine learning applications in healthcare, forestry, and industrial automation. Recent research includes feature engineering in medical data, skeleton avatar technology for aging studies, and AI-driven diagnostics. He has authored over 150 peer-reviewed publications and participates in interdisciplinary initiatives such as the iSchool project.

David SandsView profile

Professor

• Programming Languages
• Computer Security
• Software Security
• +2 more

David Sands is a Professor of Computer Science at Chalmers University of Technology in Sweden since 2001, leading the ProSec research group (Programming Language Based Methods for Security). His work bridges Programming Languages and Computer Security through formal methods and program analysis. He earned his PhD from Imperial College London in 1990 and maintains active roles in academic governance including Co-director of Chalmers Area of Advance ICT and former Chairman (2011-2013) of Sweden's Science Council Computer Science evaluation panel. Research Focus: Professor Sands specializes in language-based security mechanisms, developing programming language techniques to solve critical security challenges. His group pioneers formal verification methods for secure systems and program analysis frameworks that detect vulnerabilities at compile time. Professional Leadership: As a sought-after expert, he has served on program committees for premier conferences including POPL, ESOP, and IEEE Security & Privacy. His keynote addresses at ESORICS 2009, NORDSEC 2014, and ETAPS 2011 highlight his influence in security foundations. Academic Mentorship: Current PhD Students: Hamid Ebadi Bart van Delft Former PhD Students: Johan Agat Andrei Sabelfeld Jörgen Gustavsson Stefan Axelsson Karol Ostrovsky Josef Svenningsson Daniel Hedin Tobias Gedell Niklas Broberg Phu H Phung Filippo Del Tedesco Research Infrastructure: He directs the ProSec group's operations from Room 5474 in Chalmers' EDIT building, coordinating international collaborations through Chalmers' Department of Computer Science and Engineering.

Björn LisperView profile

Professor

• Computer Science
• Software Engineering
• Real-Time Systems
• +5 more

Björn Lisper is a Professor at Mälardalen University, Sweden, affiliated with the School of Innovation, Design and Engineering and the Division of Computer Science and Software Engineering. His research focuses on formal methods, real-time systems, embedded software, static analysis, and high-level synthesis. He has contributed to advancements in WCET analysis, machine learning applications in testing, and compiler optimization techniques. His work emphasizes practical industrial applications, particularly in automotive and multi-core systems. Research Interests: Real-Time Systems & WCET Analysis Static Program Analysis High-Level Synthesis for FPGAs Machine Learning in Software Testing Formal Methods & Verification Embedded Systems Design Publications span topics like neural network accelerators, automated testing frameworks, and compiler optimizations, reflecting a blend of theoretical and applied computer science. His work is characterized by collaboration between academia and industry to bridge gaps in embedded software predictability and performance.

Martin MonperrusView profile

Professor

• Software Engineering
• Program Repair
• Artificial Intelligence for Software Engineering
• +5 more

Martin Monperrus is a Professor of Software Technology at KTH Royal Institute of Technology in Stockholm, Sweden. He leads the software engineering research group focusing on program repair, AI-driven software development, and software supply chain security. His work spans theoretical computer science and practical applications in blockchain, testing, and diversity in systems. Teaches courses such as Automated Software Testing, Blockchain Systems, and Advanced Software Engineering. Research centers on inventing tools for modern software engineering, including program synthesis, neural repair, and resilient systems. Pioneers initiatives like Repairnator (automatic bug fixing bot) and open-source tools like Astor and Gumtree. Research interests include: Automated program repair using large language models Blockchain security and decentralized systems Reproducible builds and dependency management Formal methods for smart contracts Recent work emphasizes: Generating mocks and test data with AI Supply chain attacks in Java/Golang Leaderboards for program repair models Labs/Teams: Leads the KTH Software Technology Group , collaborating with PhD/Master's students on cutting-edge projects.

Victoria JohanssonView profile

Associate Professor

• Language Development
• Linguistic Processes
• Cognitive Aspects of Writing
• +4 more

Victoria Johansson is an Associate Professor and Senior Lecturer in General Linguistics at Lund University's Centre for Languages and Literature. She specializes in language development through the lifespan, linguistic processes, and cognitive aspects of writing, with particular focus on the writing process and how it differs from speaking. She is a member of the LAMiNATE research platform and the Natural and Artificial Cognition profile area at Lund University. Her research interests include language development across the lifespan, linguistic processes, cognitive aspects of writing, and the analysis of writing processes through methods like keystroke logging combined with eye tracking. She has developed research methodologies including the ScriptLog program and has led projects examining how language production differs between invented and self-experienced narratives. Dr. Johansson has published extensively with 133 research outputs including articles, book chapters, and conference presentations. Her recent work focuses on forensic linguistic applications, deception detection through language analysis, and the cognitive processes involved in writing. She has supervised doctoral projects including work on the London-Lund Corpus 2 of spoken English. Research award from Inga and John Hain's foundation for scientific humanistic research (2016) Eva och Lars Gårdings pris i Lingvistik (2016) Arbetande ledamot av Vetenskapssocieteten i Lund (2019) She has held various leadership positions including Assistant director of Lund University Humanities Lab (2018-2021), Manager of Research and Research Education in General Linguistics (2020-2021), and member of several steering groups and committees. During spring 2022 she was partially on leave to work at Kristianstad University.

Johan BoyeView profile

Associate Professor

• Natural Language Processing
• Spoken Dialogue Systems
• Multimodal Dialogue Systems
• +6 more

Johan Boye is an Associate Professor at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology, part of the Speech, Music, and Hearing department. He leads the SWE-QUEST project, developing automated question generation for Swedish language education, funded by Vinnova and Digital Futures. His research focuses on dialogue systems, natural language processing, and spatial language understanding, with applications in education, robotics, and human-computer interaction. Education background includes a docent title (Swedish associate professor) and extensive academic experience. He has supervised over 20 master’s and PhD theses in NLP and AI, with recent topics including large language models, coreference resolution, and multimodal retrieval systems. Teaching responsibilities include courses on language technology, search engines, and speech processing. His work spans cross-disciplinary collaborations with Stockholm University and RISE Research Institutes in the Digital Futures initiative, addressing societal challenges through digital innovation. Key projects include the SpaceBook EU project (2010–2014) exploring pedestrian navigation via dialogue systems and the NICE game (2005) for child-computer interaction. Research outputs include over 50 peer-reviewed publications in journals like the Journal of Natural Language Engineering and conferences such as ACL and SIGDIAL. He maintains active roles in academic service, including editorial work and program committees for NLP conferences. His lab develops tools like Textinator for NLP evaluation and UDon2 for dependency tree manipulation, emphasizing open-source contributions to the research community.