Sundas Munir is a Lecturer at the School of Information Technology, Halmstad University. Her research focuses on blockchain technology, smart contract security, and renewable energy systems. University: Halmstad University School: School of Information Technology Rank: Lecturer Email: sundas.munir@hh.se Her recent publications highlight expertise in: Static analysis of smart contracts Transaction ordering dependencies in Ethereum Blockchain-based energy marketplaces Security validation frameworks Formal verification techniques Her work bridges theoretical research with practical applications in decentralized systems and cybersecurity. She is active in publishing conference papers and technical surveys related to blockchain integrity and energy innovation.
Sarbojit Das is a Researcher at the Department of Information Technology; Division of Computer Systems , Uppsala University . His work focuses on improving verification techniques for concurrent systems, particularly in stateless model checking and dynamic partial order reduction. Email: sarbojit.das@it.uu.se Location: Uppsala, Sweden Research Interests: Prioritizing rigorous analysis of concurrent and multi-threaded systems, Sarbojit Das investigates methods to reduce computational complexity in software verification. His work bridges theoretical computer science with practical applications in formal methods and algorithm optimization. Publication Trends: Recent publications emphasize advancements in stateless model checking, dynamic partial order reduction, and event-driven architectures. Topics include thread scheduling, memory optimization, and scalable verification for distributed systems.
András Márki is a Lecturer at the University of Skövde , affiliated with the School of Informatics and the Department of Information Technology . His work focuses on software testing , mutation analysis , and reliable software verification . Education: Course Coordinator for multiple bachelor-level courses (7.5–30 credits). Research: Lead author on DOMINO , a project reducing software mutation complexity (2017–2025). Publications: Explored topics like strong mutation, redundant mutants, and Java-based tools (2015–2020).
Wolfgang Ahrendt is a Professor at the Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg. His research focuses on formal methods, software verification, and automated deduction, particularly for Java and smart contracts. He has led major projects like the KeY verification system and contributed to bridging AI with formal verification. Education Roles: Vice-head of Department for PhD Education (2023), Director of PhD Studies (2016-2023), Head of IT and Computer Science Programs (2005-2015). Community Work: Chair of iFM Steering Board, PC co-Chair for TAP 2020 and iFM 2019, Conference Chair for CADE-26 (2017), and member of AAR and CADE secretariats. His research interests span formal verification, symbolic execution, runtime verification, and smart contract security. He has pioneered the integration of static and runtime verification through tools like KeY and StaRVOOrS. Recent work explores AI-assisted programming and hybrid verification frameworks. Publications highlight his focus on smart contract analysis, differential dynamic logic for autonomous systems, and advancements in the KeY system. His edited works include Deductive Software Verification - The KeY Book and proceedings for TAP, iFM, and ISoLA conferences. As a teacher , he coordinates courses on formal methods, verification techniques, and Java modeling. His lab assignments emphasize hands-on experience with tools like SPIN and KeY, fostering practical understanding of verification workflows.
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.
Daniel Ståhl is an Adjunct Associate Professor at Linköping University's Department of Computer and Information Science (IDA), part of the Software and Systems (SAS) research group. His work focuses on software engineering practices, agile methodologies, and educational approaches in software development. He holds a Docent title, denoting advanced academic qualifications. Research interests include large-scale software systems, mob programming, agile team dynamics, and project-based learning in software education. He has published extensively on topics like test environments for complex systems, agile scalability, and collaborative coding practices. His recent publications analyze success factors in large software projects, dynamic team structures in agile development, and innovative educational frameworks. Notable contributions address exploratory testing strategies and the transition of mob programming from experimental to mainstream practice. No scientific awards or grants are explicitly listed in the provided texts. He advises no listed students and no lab affiliations are mentioned, though his research is associated with the Programming Environments (PELAB) group.
Hans Bagge serves as a Senior Lecturer and Head of Division at the Division of Building Physics within the Faculty of Engineering at Lund University. He also holds the position of Program Director for the five-year Master of Science in Civil Engineering Program, overseeing approximately 500 students. As a Profile Area Member of the LTH Profile Area: Circular Building Sector, he contributes significantly to sustainable building research. Dr. Bagge's research focuses on analyses and models regarding requirements, predictions, monitoring and verifications of energy performance and indoor environments of buildings. His work spans critical areas including water damage prevention, thermal insulation in building structures, renovation of heritage buildings, and sustainable building practices across Nordic countries. His research portfolio demonstrates a strong commitment to addressing practical challenges in building physics while contributing to UN Sustainable Development Goals. His publication record reveals a clear trend toward practical solutions for building sustainability, with particular emphasis on water damage prevention across Nordic building stocks, thermal performance in residential structures, and holistic approaches to heritage building renovation. These works bridge theoretical building physics with real-world applications in the construction industry. Award for research excellence in district heating and cooling (2021) Dr. Bagge actively leads and participates in multiple significant research projects including 'Improving Sustainability by Reducing Water Damage' (2024-2026), 'Urban Arena' (2022-present), 'Bättre inomhusmiljö-vädringsvanor i flerfamiljshus' (2022-2025), 'En hållbar cirkulär byggindustri' (2021-2023), and 'Reducing water damage costs in buildings by a holistic approach to technology, users and risks' (2020-2023). His collaborative approach is evident through his participation in extensive research networks across Lund University and with industry partners.
Ahmed Rezine is a Senior Lecturer and Associate Professor at the Department of Computer Science (IDA) , specifically within the Software and Systems (SAS) division at Linköping University . His research focuses on software verification , machine learning , and cybersecurity , particularly in the context of deep neural networks and embedded systems . Research Trends: His recent publications, such as VNN: Verification-Friendly Neural Networks (2024) and Trojans in Instruction Sets (2024), highlight his work at the intersection of AI robustness and hardware security . Earlier studies (2023-2017) emphasize formal verification of concurrent systems and GPU architectures , reflecting a consistent focus on parameterized systems and security analysis . Colleagues & Collaborations: Rezine collaborates with researchers in the Software and Systems group, part of the Wallenberg Autonomous Systems Program (WASP) . His work intersects with AI IDA and Embedded Systems (ESLAB) , focusing on autonomous systems and real-time processing .
Sabine Reinfeldt is an Associate Professor at Chalmers University of Technology within the Medical Signals and Systems group. Her work centers on bone conduction hearing technology, focusing on physiological mechanisms and device optimization. She teaches Biomedical Instrumentation in the Master's program in Biomedical Engineering. Research Focus: Bone conduction physiology, hearing implants, occlusion effects, and auditory communication systems. Projects: Development and evaluation of implantable bone conduction hearing aids, including long-term follow-ups and clinical trials. Collaborations: Engaged in multidisciplinary studies with otolaryngologists and engineers.
Valentin Goranko is a Professor in the Department of Philosophy at Stockholm University, specializing in logic and its interdisciplinary applications across computer science, artificial intelligence, and multi-agent systems. His academic profile reflects a deep integration of philosophical inquiry with practical computational frameworks. Professor Goranko's research centers on the theoretical foundations of logic with specific applications to artificial intelligence, multi-agent systems, game theory, and computer science. His work develops formal frameworks for strategic reasoning, temporal logic, and coalition-based decision making, bridging abstract logical theory with concrete implementation challenges. The research demonstrates methodological sophistication through its combination of theoretical depth with practical verification considerations. Analysis of his recent publications reveals a maturing research program that has evolved from foundational work on temporal logics toward more complex applications involving structural analysis of logical systems and the synthesis of quantitative and qualitative reasoning approaches. His contributions to alternating-time temporal logic (ATL), game-theoretic semantics, and coalition logics have provided new insights into model checking and verification of multi-agent systems, with particular emphasis on socially friendly coalition logic (SFCL) and group protecting coalition logic (GPCL). Professor Goranko has authored several influential textbooks including 'Logic as a Tool' (2016), 'Temporal Logics in Computer Science' (2016), and 'Logic and Discrete Mathematics' (2015), which have become standard references in their respective fields. These works reflect his commitment to making complex logical concepts accessible while maintaining rigorous theoretical standards. At Stockholm University, he teaches Classical Logic (introductory) and Philosophical Logics II (advanced), courses that emphasize both foundational logical principles and their advanced philosophical applications. His teaching approach demonstrates a consistent focus on practical utility of logical reasoning alongside theoretical rigor, preparing students for both academic research and practical applications in computer science and artificial intelligence.
Niklas Eriksson is an Associate Professor in Maritime Archaeology at Stockholm University's Department of Archaeology and Classical Studies, and a key researcher at the Centre for Maritime Studies (CEMAS). His work focuses on Baltic Sea shipwrecks, early modern maritime landscapes, and naval architecture across four centuries of Swedish maritime history. Stockholm University Department of Archaeology and Classical Studies CEMAS - Centre for Maritime Studies His research combines archaeological fieldwork with archival analysis, particularly palaeography, to identify historical ships like the Dalarö Wreck as the Swedish naval vessel Bodekull . Notable projects include the six-year The Lost Navy program (financed by Riksbankens Jubileumsfond) aiming to write a monograph on Swedish Naval Architecture 1450-1850, and international collaborations like the Asine Revisited maritime archaeology project in Greece. The 2025 publication on the Witte Swaen fluit ship demonstrates his focus on intact hull preservation in Baltic conditions, while his 2022 monograph Stormaktsskärgård explores maritime power structures in Stockholm's archipelago. His 2014 doctoral thesis Urbanism under Sail established foundational frameworks for analyzing spatial practices on fluit ships. Specializes in Baltic Sea shipwrecks (Gribshunden, Mars, Anna Maria) Expert in mixed-method research combining underwater archaeology with archival sources Recipient of multiple international publication venues in top nautical archaeology journals
Magnus Öberg is a Senior Lecturer and Associate Professor at the Department of Peace and Conflict Research, Uppsala University. He serves as Director of the Uppsala Conflict Data Program (UCDP) and previously held the position of Head of Department from 2012-2017. His work focuses on systematic data collection and analysis of global conflict patterns, making significant contributions to peace research methodology. Öberg's research examines the causes and consequences of civil war, with particular emphasis on the psychology of grievances, escalation processes, forced migration, and traumatization. His current project, The Moral Psychology of Grievances in Intrastate Conflict , funded by the Swedish Research Council (grant #2018-02108), investigates how moral values condition the effects of social, political, and economic factors on intrastate conflict. This work specifically addresses previously overlooked moral dimensions in nationalist, religious, and authoritarian mobilization. His extensive publication record demonstrates a consistent focus on conflict data collection and analysis. Öberg has led the annual Organized Violence reports since 2019, documenting global patterns of armed conflict across various dimensions including interstate conflicts, non-state violence, and the impact of emerging technologies like drones. His research spans traditional civil war studies, forced migration patterns, and methodological challenges in measuring civilian casualties. As Director of the Uppsala Conflict Data Program, Öberg oversees one of the world's most comprehensive conflict databases. The UCDP produces several widely used datasets including the UCDP/PRIO Armed Conflict Dataset, the UCDP Non-State Conflict Dataset, and the UCDP Peace Agreement Dataset. These resources are essential for researchers and policymakers worldwide working in conflict resolution and peacebuilding.
Martin Blom is an Associate Professor at the Department of Computer Science, Karlstad University since 1996. His research focuses on software architecture, software testing, agile methodologies (Scrum/XP), code metrics, and semantic programming. He has authored/co-authored over 25 journal/conference papers and three book chapters. Education: Licentiate in Computer Science (Karlstad University, 2002) PhD in Computer Science (Karlstad University, 2006) Research Interests: Architectural degradation detection using code metrics Testability and software performance analysis Agile methodologies in complex system development Documentation methods and reusability in software maintenance Semantic aspects in component-based systems Key Article Trends: Recent work emphasizes empirical studies on software architecture recovery, code smell detection's applicability to architectural degradation, and systematic mapping studies on testability. Earlier contributions focused on contract-based programming and design contracts' role in error management. Labs/Teams: Currently collaborates with multiple local businesses on applied research projects. Active in software engineering education integrating empirical research into teaching.
Yehia Abd Alrahman is a Senior Lecturer at the Department of Formal Methods within the University of Gothenburg. His work focuses on formal methods, model checking, and reconfigurable systems, with particular emphasis on multi-agent systems and attribute-based communication. He develops verification tools like R-CHECK and contributes to theoretical foundations for collective adaptive systems. His research integrates formal verification techniques with practical applications in distributed systems and energy grids. Key research interests include formal verification of reconfigurable systems, attribute-based communication models, and correct-by-design teamwork plans for multi-agent systems. He has published extensively on topics such as bisimulation theory, distributed coordination frameworks, and protocol analysis. His work often bridges theoretical computer science with practical implementation in domains like power grid control and system resilience. Academic contributions span programming language design for CAS, verification frameworks, and pedagogical approaches to formal methods education. Collaborations include projects on runtime verification, distributed API design, and adaptive system coordination protocols. Current research trends emphasize enhancing system correctness through automated synthesis and rigorous formal methods.
Rebekka Wohlrab is a tenure-track Assistant Professor in Software Engineering at Chalmers University of Technology (Gothenburg, Sweden) and an adjunct faculty member at Carnegie Mellon University’s Software and Societal Systems Department (S3D). Her research focuses on requirements engineering, self-adaptive systems, and robotics. She leads a research group supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP). Education: PhD in Computer Science and Engineering (Chalmers, 2020), MSc/BSc in Computer Science (Paderborn University, 2016). Postdoc at Carnegie Mellon University (2020-2022). Research interests include requirements conflicts resolution, quality attribute trade-offs, and ethical monitoring in cyber-physical systems. She has published extensively on adaptive systems, architectural tactics, and agile development practices. Notable contributions include frameworks for robot mission planning, security assurance cases, and traceability management in automotive systems. Recent awards include a pedagogical prize from students at Chalmers. She advises PhD students on topics like self-adaptive robotics and WASP-funded projects. Her work spans theoretical research and industry collaboration (e.g., Volvo Cars). Active in conferences like ICSE, RE, and ICSA as a program committee member. Labs/Teams: Leads the Self-Adaptive Systems Research Group at Chalmers, collaborating with WASP and automotive industry partners.
