Find Academic Supervisors

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

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

Pierre Flener is a Professor at the Department of Information Technology, Division of Computing Science at Uppsala University. He leads the Optimisation Group and is a member of the Centre for Interdisciplinary Mathematics. His work focuses on constraint programming and discrete optimization, addressing complex scheduling, routing, and resource allocation challenges. Flener is an Officer of the Order of Merit of Luxembourg and co-founder of NordConsNet, the Nordic Network for Constraint Programming researchers. Research Interests: Flener’s research spans constraint programming, combinatorial optimization, and algorithm design. He develops models and tools for automated decision-making in domains like air traffic management, sensor networks, and industrial robotics. His work emphasizes practical applications, leveraging constraint satisfaction techniques to solve real-world puzzles such as vehicle routing and personnel allocation. Key Contributions: Flener has authored over 100 publications on constraint solving, symmetry breaking, and CP-based approaches to industrial problems. Notable projects include airspace sectorization optimization, energy-efficient sensor networks, and financial portfolio design. He has led initiatives like Auto-Tabling for MiniZinc and collaborated on CP applications in bioinformatics and image processing. Labs & Teams: He heads the Optimisation Group at Uppsala, fostering research in CP and its applications. NordConsNet, co-founded by Flener, connects Nordic researchers and practitioners in constraint technology.

• Artificial Intelligence
• Constraint Programming
• Discrete Optimization
• +5 more

Klas Hjort is a Professor of Materials Science at Uppsala University's Ångström Laboratory , specializing in Microsystems Technology . He leads the microsystems technology program and has pioneered research in heterogeneous microsystems on stainless steel, flexible foils, and elastic substrates for biomedical applications and wireless sensor/actuator systems . Key projects: SSF robotic textiles , PERSIMMON smart patches Research themes: Microfluidic actuation , Liquid metal patterning , Stretchable electronics His recent publications focus on soft robotics , smart patches , and high-pressure microfluidic systems , with keywords spanning Microfluidics , Biomedical Engineering , and Stretchable Electronics . He collaborates extensively in robotic textiles , microvalve design , and liquid metal composites . Contact: klas.hjort@angstrom.uu.se

• Microfluidics
• Materials Science
• Biomedical Engineering
• +7 more

Dimitrios Iordanoglou is a contemporary academic affiliated with Uppsala University , where he serves as Head of Education and Head of Department at the Department of Linguistics and Philology . His career spans classical philology, rhetoric, and gender studies, with a focus on ancient Greek texts and their philosophical implications. University: Uppsala University Department: Department of Linguistics and Philology Academic Rank: Associate Professor Email: dimitrios.iordanoglou@lingfil.uu.se Research interests include classical philology, ancient rhetoric, political and moral philosophy in Greek tragedy, and gender studies. His work often intersects textual analysis with broader cultural and philosophical themes from antiquity. Classical Philology and Textual Analysis Ancient Rhetoric and Argumentation Political Philosophy in Greek Tragedy Gender Norms in Antiquity Publication trends indicate a focus on Sophistic thought, Homeric texts, and philosophical dialogues in classical literature. His recent works examine the Derveni Papyrus, gender dynamics in ancient epics, and the evolution of rhetoric. Academic leadership involves overseeing educational programs and departmental operations. While no specific scientific awards are listed, his editorial contributions include co-editing Eranos: The Origins of Political Thinking in Ancient Greece (2018).

• Classical Philology
• Ancient Rhetoric
• Political Philosophy
• +4 more

Nir Piterman is a Professor in Computer Science at the University of Gothenburg's Department of Computer Science and Engineering. Previously, he was a Lecturer and later Reader (Associate Professor) at the University of Leicester (2010-2019), following postdoctoral research at EPFL (2005-2007) and a Research Fellowship at Imperial College London (2007-2010). PhD from Weizmann Institute of Science (2005), supervised by Amir Pnueli Postdoc at EPFL with Tom Henzinger (2005-2007) Research Fellow at Imperial College London (2007-2010) Lecturer at University of Leicester (2010-2019), promoted to Reader in 2012 Universitets Lektor (Associate Professor) at University of Gothenburg (2019-2021), promoted to Professor in 2021 His research focuses on formal verification, automata theory, and synthesis from temporal specifications. Current work under the ERC Consolidator Project dSynMA extends reactive synthesis to multi-agent systems, exploring frameworks combining message passing and variable sharing, algorithmic analysis of games with partial information, and logic extensions for agent interaction. He has supervised eight PhD students, including Prabhat Kumar Jha (path planning in game solving), David Lidell (automata constructions for LTL with past), and Claudia Cauli (cloud infrastructure security reasoning, 2022), with theses covering program verification, temporal logic, and game algorithms. ERC Consolidator Grant (2021-?, dSynMA) Editor-in-Chief, Formal Methods in System Design Editor, Acta Informatica Nir has taught courses such as Principles of Concurrent Programming (Chalmers, 2019-2025), Advanced C++ Programming (University of Leicester, 2012-2017), and Synthesis from Temporal Specifications (University of Buenos Aires, 2010). He actively recruits PhD candidates and has hosted postdoctoral researchers at multiple institutions.

• formal verification
• automata theory
• model checking
• +4 more

Elina Rönnberg is a Professor and Deputy Head of Department at the Department of Mathematics, Linköping University, where she leads research in discrete optimisation and intelligent decision-making. Her work bridges theoretical method development and real-world applications in sectors such as healthcare, aviation, mining, and transportation. She is actively involved in the Wallenberg AI, Autonomous Systems and Software Program (WASP) and has collaborated with industry leaders like Saab and Scania. Her research focuses on advanced optimisation techniques including Dantzig-Wolfe decomposition, Lagrangian relaxation, column generation, branch-and-price, and logic-based Benders decomposition. She also explores hybrid methods combining mathematical programming with constraint programming and machine learning. Applications span nurse rostering, electric vehicle routing, aircraft arrival scheduling, and underground mine planning. Recent publications highlight a strong trend toward integrating AI and machine learning—particularly graph neural networks—with classical optimisation frameworks to accelerate solution methods. Her work emphasizes practical impact, robustness, and scalability in solving complex scheduling and resource allocation problems. Nurse Rostering with Strategic Planning of Skills for Sick-Leave Robustness (2024) Pricing for the EVRPTW with Piecewise Linear Charging (2024) Speeding Up Logic-Based Benders Decomposition with Graph Neural Networks (2024) Elina supervises several PhD students and has co-supervised doctoral research at international institutions including Makarere University (Uganda) and the University of Exeter (UK). She has contributed to applied projects through student theses in collaboration with Scania and Saab, focusing on electric vehicle routing and search-and-rescue optimisation. She previously served as a Specialist in Optimisation at Saab Aeronautics (2014–2020) and co-founded Schemagi, a scheduling tool aimed at improving quality in healthcare. She teaches courses such as Introduction to Optimization (TAOP07) and Project - Applied Mathematics (TATA62). Her research group, 'Mathematics and algorithms for intelligent decision-making,' operates within the Division of Applied Mathematics (TIMA) at the Department of Mathematics. The team develops decision support tools that enhance efficiency and sustainability in complex systems, particularly under the growing demands of electrification and digitalisation in transport and logistics.

• Discrete Optimisation
• Mathematical Optimisation
• Scheduling
• +18 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.

• computer security
• formal methods
• program logics
• +3 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.

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

Susann Baez Ullberg is an Associate Professor and Senior Lecturer in Cultural Anthropology at Uppsala University's Department of Cultural Anthropology and Ethnology. She holds a PhD in Social Anthropology from Stockholm University and is an affiliated researcher at the CNDS Centre of Natural Hazards and Disaster Science. Her work focuses on environmental and disaster anthropology, with a regional emphasis on Latin America, particularly Argentina and Peru. She currently leads the C-URGE project, a Marie Skłodowska-Curie Actions-funded initiative training climate anthropologists across Europe. Her research explores disaster memoryscapes, crisis temporality, and groundwater politics, combining ethnographic fieldwork with interdisciplinary collaborations. Notable projects include studying water infrastructure in Peru's Majes Siguas Project and analyzing recovery processes after wildfires in Sweden. She coordinates Uppsala University's Water Initiative and directs the undergraduate program in Cultural Anthropology. Awarded for her 2013 thesis on Santa Fe's flood management, she supervises three PhD students and contributes to policy-relevant research on climate resilience. Her publications span environmental governance, megaprojects, and the socio-political dimensions of disasters.

• Environmental Anthropology
• Disaster Anthropology
• Crisis Management
• +5 more

Anna Gautier is an Assistant Professor in the Department of Computer Science at Chalmers University of Technology, affiliated with the Division of Data Science and AI. Previously, she was a Digital Futures Postdoctoral Fellow at KTH Royal Institute of Technology (2023–2025), focusing on mechanism design for multi-robot systems. Her research emphasizes planning under uncertainty, multi-agent systems, and human-robot interaction. She holds a PhD from the University of Oxford (2023), an MSc from the London School of Economics, and dual undergraduate degrees from Washington University in St. Louis. Education Background: PhD in Computer Science, University of Oxford (2023) MSc in Applied Mathematics, London School of Economics BA in Mathematics and BS in Computer Science, Washington University in St. Louis Research Interests: Dr. Gautier explores planning algorithms for multi-agent systems, particularly in uncertain environments. She designs mechanisms to coordinate robots and humans, leveraging game theory and formal methods. Her work addresses challenges like resource allocation, risk-aware decision-making, and trust in autonomous systems. Recent projects include contingency planning for autonomous vehicles and auction-based resource distribution. Professional Activities: She co-chairs the ECAI 2025 Demonstration Track and teaches the course Safe Robot Planning and Control at KTH. Her projects include collaborations with WASP-Nest (PerCorSo) and TECoSA on trustworthy autonomy. She actively publishes in top venues like AAMAS and AAAI. Labs and Teams: Affiliated with Chalmers' Data Science and AI division, she leads research in multi-agent systems and human-AI collaboration.

• Multi-Agent Systems
• Robotics
• Artificial Intelligence
• +3 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.

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

Martin Carlsson-Wall is a Full Professor at Stockholm School of Economics (SSE) in the Department of Accounting within the House of Governance and Public Policy. He serves as Center Director for both the Center for Municipality Governance and the Center for Security and Resilience. In 2024, he was named "The Linder Chair in Sports and Business," the first Chair at SSE on Sports and Business topics. Since 2017, he has been Program Director for the MSc in Accounting, Valuation and Financial Management, and in 2015, he founded the Center for Sports and Business, which now includes 40 faculty members and has strategic partnerships with major Swedish sports organizations across football, hockey, golf, and skiing. Martin Carlsson-Wall's research focuses on accounting in sports organizations and accounting in inter-organisational relationships across both private and public sectors. His work extensively examines management control systems , particularly in contexts of innovation , growth companies , and risk management . His research often takes a qualitative approach, investigating how accounting practices function in extreme situations (such as the Swedish migrant crisis), high-intensity organizations (like football clubs), and during organizational change processes. Analysis of Professor Carlsson-Wall's recent publications reveals a strong thematic focus on the intersection of accounting practices with sports management and public sector administration. His work demonstrates how management control systems adapt to different organizational contexts, from football clubs to technology firms and public administration during crises. A recurring theme is how accounting practices mediate tensions between different stakeholder interests and how they evolve in response to organizational challenges. His research methodology typically employs in-depth case studies that examine accounting as a social practice rather than merely a technical function. Professor Carlsson-Wall has received significant recognition through his appointment as "The Linder Chair in Sports and Business" in 2024, establishing the first dedicated research position at SSE focusing on the business aspects of sports. As an educator, Professor Carlsson-Wall serves as Program Director for the MSc in Accounting, Valuation and Financial Management and teaches several key courses including BE901 Hybrid Organizations: Value Creation and Strategy at the bachelor's level, and course 3313 Investments and Value Creation in Global Sports (which he directs) and course 3302 Management Control at the master's level. He also supervises master's theses in Accounting and Financial Management. In Executive Education, he teaches on management control, costing, performance management, transfer pricing, investment management, and financial analysis through both open programs and customized corporate offerings. Professor Carlsson-Wall founded and directs the Center for Sports and Business, which has grown to include 40 faculty members and established partnerships with major Swedish sports organizations. He also leads the Center for Municipality Governance and the Center for Security and Resilience, demonstrating his commitment to applying accounting and management control research to practical governance challenges in both public and private sectors.

• Accounting in sports organizations
• Accounting in inter-organisational relationships
• Management control
• +3 more

Carl-Mikael Zetterling is a Professor and Head of Department at Kungliga Tekniska Högskolan (KTH) in Stockholm, Sweden, affiliated with the School of Electrical Engineering and Computer Science (ICT) and the Electronics and Embedded Systems department. His research focuses on process technology and device design for high-temperature, high-power silicon carbide (SiC) electronics, expanding into SiC-based analog and integrated circuits. He has authored over 300 publications, including books on SiC process technology and plagiarism prevention. Dr. Zetterling has held leadership roles such as Vice Dean of the School of ICT (2013–2017) and teacher representative on KTH's faculty board. He has collaborated internationally at Stanford University, Kyoto University, and Kyoto Institute of Technology. His work addresses applications in extreme environments, including Venus exploration and fusion reactor monitoring, with a focus on radiation tolerance and thermal resilience. The 15 most recent publications highlight trends in wide bandgap semiconductors, gamma irradiation effects on SiC devices, and high-temperature integrated circuits. His articles span structural health monitoring with machine learning, novel SiC diode designs, and radiation-hardened electronics. Key contributions include advancements in self-aligned contacts, trench MOSFETs, and compact modeling for extreme conditions. While no formal awards are listed, his roles in technical program committees (TMS Electronic Materials Conference, IEEE SISC Conference) and editorial work demonstrate significant academic service. He teaches courses ranging from digital design to high-temperature electronics, overseeing degree projects in embedded systems, communication, and nanotechnology.

• Process Technology
• Device Design
• Silicon Carbide (SiC) Electronics
• +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).

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

Lars Hallnäs is an Associate Professor in Logic at Stockholm University and affiliated with the Department of Design, Academy of Textiles, Technology and Economics at the University of Borås. He holds a doctorate in theoretical philosophy with a thesis in mathematical logic and has been an active composer since 1970. Doctorate in Theoretical Philosophy (Mathematical Logic) Education at Malmö Academy of Music, Royal Academy of Music in Stockholm, and Instituut voor Sonologie, Utrecht University His research spans mathematical logic (proof theory, normalization) and design disciplines (interaction design, smart textiles, artistic research). He explores intersections of technology, philosophy, and textile aesthetics, including concepts like slow technology and expressive design. Key trends in his publications include proof-theoretic foundations (1980s-2020s), artistic research methodologies (2010s), and textile-technology integration (2000s-2020s). Notable contributions address definitional reflection, wearable interactions, and sustainability theology. He served as Chair of the Swedish Research Council's Committee for Artistic Research (2016-2018) and coordinated the EU-funded ArcInTexETN network under the Marie Skłodowska-Curie programs. He supervises doctoral students in design research, though specific names are not provided.

• Mathematical Logic
• Proof Theory
• Interaction Design
• +4 more