Find Academic Supervisors

• Control Systems
• Networked Systems
• Distributed Control
• +3 more

Emma Tegling is a Senior Lecturer (Associate Professor) at the Department of Automatic Control , Lund University , with a Wallenberg AI, Autonomous Systems and Software Program (WASP) professorship. She holds multiple roles including Deputy Head of Department, Project Manager, and Profile Area Member in AI & Digitalization and Natural & Artificial Cognition. Her research focuses on analysis and control of large-scale networked systems , with emphasis on distributed control, power networks, and social/epidemiological networks. Tegling earned her PhD in Electrical Engineering from KTH Royal Institute of Technology (2019) and held postdoctoral positions at MIT IDSS. She has led projects on network controllability, optimization, and societal applications. Notable contributions include scalable control design for vehicular formations and optimal control of linear cost networks. Her work aligns with UN Sustainable Development Goals related to affordable clean energy and industry innovation. Education: PhD in Electrical Engineering, KTH Royal Institute of Technology (2019) M.Sc. and B.Sc. in Engineering Physics, KTH Royal Institute of Technology (2013, 2011) Research Trends: Recent articles emphasize minimax optimal control, compositional design for nonlinear systems, and multipolar opinion dynamics in biased networks. Themes include scalability limits, distributed algorithms, and transients in networked systems. Grants & Projects: Leads WASP-funded projects on learning in networks and dynamic socio-technical systems. Involved in initiatives like the European Control Conference 2024. Supervises PhD students in control systems and network dynamics. Labs & Teams: Active in the Department of Automatic Control research groups focused on network science and AI-driven control solutions, contributing to Lund University's AI and Digitalization profile.

Sina SheikholeslamiView profile

Researcher

• Machine Learning
• Deep Learning
• Distributed Systems
• +3 more

Sina Sheikholeslami is a Researcher at the Division of Energy Systems, Department of Energy Technology at KTH Royal Institute of Technology. He works on leveraging AI for sustainability and climate action, focusing on projects like Beyond 2030 and OnStove. His affiliations include the KTH Climate Action Centre and Vinuesa Lab. He holds a PhD in Distributed Computing from KTH (2025), advised by Vladimir Vlassov, Amir Payberah, and Jim Dowling, with prior M.Sc. studies at Eindhoven University of Technology and KTH through the EIT Digital Master School. He also completed a B.Sc. in Computer Software Engineering at Amirkabir University of Technology. Research interests include distributed systems, machine learning, deep learning, and their applications in sustainable development. Notable work includes developing frameworks like AutoAblation for ablation studies and Importance-aware DPT for dataset partitioning, which earned the Best Artefact Award at DAIS 2023. His recent work explores using LLMs for ablation studies and weight initialization techniques from hyperparameter trials. Academic leadership roles include serving on the KTH PhD Chapter’s Board, EECS PhD Student Council, and committees such as the School Assembly and Third-Cycle Education Council. He is Sweden’s Local Representative for the EIT Digital Alumni Foundation. His teaching roles include assistant and teacher in courses like Data Mining and Data-Intensive Computing. He supervises multiple students, including those exploring topics like scalable model training with Ray and feature stores in Hopsworks. His research spans environmental monitoring (e.g., ExtremeEarth), public transit systems (DUGET), and interdisciplinary applications of ML in wood science and urban planning.

Benoit BaudryView profile

Professor

• Software Engineering
• Software Testing
• Blockchain Technology
• +4 more

Benoit Baudry is a Professor in Software Technology at KTH Royal Institute of Technology (KTH) within the Digital Futures Faculty and Division of Theoretical Computer Science. He also holds a professorship at Université de Montréal. His research focuses on software diversity, testing, and reliable web-based applications, emphasizing experimental approaches using large-scale open-source systems. He leads the CHAINS project (supported by SSF) and holds a Wallenberg AI, Autonomous Systems and Software Program (WASP) research chair. Previously, he directed the CASTOR software research center (2018–2022) and led the DiverSE group at INRIA Rennes, France. Research Interests Baudry's work spans software supply chain security, blockchain node reliability, and production monitoring for test suite improvement. He explores techniques like N-version design for blockchain nodes, binary diversification for WebAssembly, and coverage-based debloating of Java dependencies. His methods emphasize collaboration with industry and empirical validation of software systems. Grants & Projects - CHAINS project (SSF-funded) - WASP research chair - Former leadership of CASTOR and DiverSE groups. Labs & Collaborations Affiliated with Digital Futures, a cross-disciplinary center at KTH collaborating with Stockholm University and RISE. His work addresses societal challenges via digital technology innovation.

Silun ZhangView profile

Assistant Professor

• Nonlinear Control
• Large-Scale Complex Systems
• Privacy-Preserving Algorithms
• +3 more

Silun Zhang is an Assistant Professor in the Department of Mathematics at KTH Royal Institute of Technology, affiliated with WASP (Wallenberg AI, Autonomous Systems and Software Program) and the Digital Futures Faculty. He holds a Ph.D. in Optimization & Systems Theory from KTH (2019), an M.S. and B.S. in Automation from Harbin Institute of Technology, China. Prior to KTH, he was a Postdoctoral Associate at MIT's Laboratory for Information & Decision Systems (LIDS) and EECS Department (2019–2023), where he collaborated with Prof. Munther Dahleh and contributed to the MIT MicroMasters Program in Statistics and Data Science. His research focuses on nonlinear control , large-scale complex systems , privacy-preserving algorithms , and risk-averse reinforcement learning . Key areas include control on manifolds (e.g., rigid-body attitude coordination), privacy in federated learning, and moment-based modeling for collective systems. He leads projects such as 'Analysis and Synergy of Hyper-networked Autonomy' and 'Designing Interaction-Aware Multi-Robot Systems.' Current team members include Georgios Vasileiou (Ph.D.), Lantian Zhang (Postdoc), and Malintha Fernando Chakravarthige (Postdoc). His work is supported by the Wallenberg Foundations and Digital Futures. Open positions are available for motivated Ph.D. students and postdocs.

• Supply Chain Management
• Procurement
• Logistics
• +7 more

Ala Arvidsson is a Senior Lecturer at the Supply and Operations Management Department within the Technology Economics and Organization school at Chalmers University of Technology. Their work focuses on supply chain innovation, procurement strategies, and logistics resilience. Key affiliations include projects funded by VINNOVA and collaborations with industry partners such as the automotive and humanitarian sectors. Research Interests : Arvidsson’s research spans supply chain management, sustainable procurement, blockchain applications in logistics, disaster relief coordination, and Industry 5.0 adoption in SMEs. Recent work emphasizes multi-tier supply chain resilience, right-to-repair policies, and circular economy frameworks. Projects : Active projects include Hållbar cirkulär tillförsel av teknologi till bilindustrin (SusTeq) (2024–2028) and COLLECT: Horizontal Cooperation in Urban Logistics (2022–2023). Past initiatives involved developing procurement big data software and frameworks for disaster relief resource sharing. Grants & Collaborations : Funded by VINNOVA and industry partners, Arvidsson collaborates with researchers across disciplines, including transportation engineering and humanitarian logistics. Their work bridges academic theory with practical applications in manufacturing, healthcare, and disaster management.

Pär J. ÅgerfalkView profile

Professor

• digital agency
• artificial intelligence
• digital infrastructure design
• +8 more

Pär J. Ågerfalk is a Professor at the Department of Informatics and Media , Uppsala University. He is internationally recognized for his work on open source, distributed agile development, and digital innovation. His research spans digital agency, artificial intelligence, digital sustainability, e-health, and pragmatism. PhD in Information Systems Development (Linköping University) Previous roles at Örebro University, University of Limerick, Jönköping International Business School, and Lero – The Irish Software Research Center Research Interests Digital agency and AI Digital infrastructure design Sustainable development in IT Pragmatism in systems development E-health applications Open innovation practices Recent Publications focus on conceptual modeling, digital health applications, workarounds in IS, and privacy/accountability frameworks. His work has appeared in MIS Quarterly, European Journal of Information Systems, and Health Informatics Journal. Scientific Awards AIS Fellow Distinguished Member Cum Laude, Association for Information Systems

• Software Reliability
• Static Analysis of Energy Usage
• Software Engineering
• +1 more

Wojciech Mostowski is a Senior Lecturer at the School of Information Technology, Halmstad University. His academic role involves both research and teaching, with a focus on software reliability and energy-efficient software analysis. Research interests: Mostowski leads the ELLIIT funded project on "Static Analysis of Energy Usage in Software" and contributes to software reliability research. His work bridges theoretical analysis with practical applications in energy-conscious software development. Teaching: He is responsible for courses including Advanced Object-Oriented Programming , Distributed Systems Programming , and Data Security for Embedded Systems , emphasizing technical rigor and pedagogical engagement. Advising: Mostowski supervises PhD students Joel Nyholm (main), Sina Entekhabi (main), and Sundas Munir (co-supervisor), fostering the next generation of researchers in software engineering and embedded systems. Contact: Reach him via email at wojciech.mostowski@hh.se or mobile +46 72-977 36 22.

• Real-Time Systems
• Embedded Systems
• Scheduling Algorithms
• +5 more

Dr. Gaoyang Dai is an Assistant Professor at Uppsala University's Department of Information Technology, specializing in Computer Systems research. His work focuses on real-time systems, embedded computing, and scheduling algorithms for complex task models. Research interests include: Deterministic timing analysis in distributed systems Priority inversion handling in multicore environments Non-preemptive node scheduling for DAG tasks Cyber-physical system design paradigms Deep learning applications in wireless networks Recent publications demonstrate expertise in IEEE Transactions and DATE conference proceedings, with particular emphasis on sporadic DAG task scheduling and resource sharing protocols. Collaborative work includes development of the TIMES-Pro toolchain for CPS implementation.

Sarbojit DasView profile

Researcher

• Computer Science
• Software Verification
• Concurrency
• +3 more

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.

• Supply Chain Management
• Information Fusion in Manufacturing/Maintenance
• Multi-Agent Systems in Logistics
• +3 more

Sandor Ujvari is a Senior Lecturer in Logistics at the University of Skövde , associated with the School of Business and the Department of Commerce and Entrepreneurship. His research focuses on Supply Chain Management , Information Fusion in Manufacturing/Maintenance , Multi-Agent Systems (MAS) in Logistics , and AGV Modeling . His scholarly work spans interdisciplinary collaborations, particularly in healthcare quality improvement, where he explores Trust dynamics in management-initiated reforms System reliability in service delivery Cross-sectoral knowledge transfer He has published extensively on simulation-based optimization, stochastic transportation models, and institutional entrepreneurship. Recent trends in his publications highlight Integration of multi-agent systems for logistics Sustainability in supply chains Adaptation of industrial methods to healthcare His teaching involves Bachelor-level logistics courses and training programs, emphasizing ERP systems and digital transformation in supply chains. He currently leads the ongoing project "Labour Market Challenges of Green Transition in West Sweden" (2023–2029), analyzing societal impacts of automotive industry transformation. His co-authors include prominent researchers like Thomas Andersson , Nomie Eriksson , and Per Hilletofth . No scientific awards are explicitly mentioned in the provided texts.

Wolfgang AhrendtView profile

Professor

• Formal Methods
• Software Verification
• Automated Deduction
• +7 more

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.

Mikael FridenfalkView profile

Senior Lecturer

• Artificial Intelligence
• Computer Graphics
• Game Design
• +4 more

Mikael Fridenfalk is a Senior lecturer at the Department of Game Design, Uppsala University, Campus Gotland. He received his PhD in robotics from Lund University in 2003 and completed a postdoctoral research associate position at MIT (2003-2004). Since then, he has been affiliated with Uppsala University Campus Gotland (formerly Gotland University), initially as a lecturer and from 2005 as an associate professor and researcher within computer engineering and AI. With over 40 years of experience in computer programming, primarily using C++, Fridenfalk specializes in artificial intelligence and computer graphics applications. His research spans multiple domains including game design, digital twins, cellular automata, and neural networks. His work demonstrates a consistent focus on the intersection of mathematical principles and practical applications in computer science. Fridenfalk's recent publications (2022-2025) show a shift toward applied research in digital twins for industrial metaverse applications, cloud-edge-terminal collaboration, and game environment design using modular architecture. This reflects an evolution from his earlier theoretical work to more industry-relevant applications while maintaining strong mathematical foundations. Scientific Contributions: Extensive research on cellular automata and modular spaces across numerous publications Development of analytical methods for neural network weight evaluation Innovative applications of L-systems in game environment and music generation Pioneering work on digital twin technology for industrial and marine applications Contributions to photogrammetry techniques for game environments Methods for examination problem distribution in e-learning environments Fridenfalk's work bridges theoretical computer science with practical applications across multiple domains, demonstrating remarkable versatility while maintaining mathematical rigor. His research has been cited in various contexts, including academic papers and Wikipedia references, indicating impact across disciplines.

• Parallel Computing
• Programming Models
• System Software
• +3 more

Mats Brorsson is a Professor at the Division of Software and Computer Systems , KTH Royal Institute of Technology. His research spans multiple areas of computer architecture and parallel computing, with a focus on system software, energy-aware architectures, and performance debugging tools. He is actively involved in projects like the PaPP ARTEMIS collaboration and coordinates the KTH-SICS Scalable Computing Systems initiative. Research Interests : Mats Brorsson's work primarily addresses parallel computing , task-based programming models (e.g., OpenMP), and energy-efficient computer architectures . He has made significant contributions to NUMA system optimization , work-stealing schedulers , and runtime systems for high-performance computing. Professional Activities : Mats Brorsson serves as coordinator for the PaPP ARTEMIS project and is a member of the KTH-SICS Collaboration in Scalable Computing Systems. His publications reflect deep engagement with task scheduling , cache coherence protocols , and adaptive resource management for parallel systems.

• Real-Time Computer Systems
• Smart Cities and Communities
• Vehicular Communication
• +7 more

Magnus Jonsson is a Professor of Real-Time Computer Systems at Halmstad University's School of Information Technology. He serves as Deputy Program Director for the university's Smart Cities and Communities profile area. His research focuses on real-time communications, vehicular networks, cooperative systems, and resilient communication architectures. Key research themes include: Autonomous vehicle communication systems Real-time protocols for embedded networks V2X (vehicle-to-everything) infrastructure Wireless network reliability Fiber-optic communication systems Publications emphasize practical applications like: Securing autonomous vehicle systems Platooning applications Low-latency communication frameworks He has edited multiple conference proceedings including Communication Technologies for Vehicles and Resilient Networks Design and Modeling . His work contributes to both theoretical advancements and industry-ready solutions for smart mobility and critical infrastructure systems.

Konstantinos KaragiorgosView profile

Senior Lecturer

• Climate Risk Assessment
• Flood Risk Management
• Social Vulnerability
• +3 more

Konstantinos Karagiorgos is an Associate Senior Lecturer at Karlstad University, specializing in climate risk assessment and disaster modeling. His research focuses on flood exposure, social vulnerability indices, and urban resilience strategies. He has co-authored numerous peer-reviewed articles on topics such as FEMA's National Risk Index, institutional capacity in wildfire management, and the accuracy of global population datasets in flood risk analysis. His work integrates geospatial tools, case studies, and trans-disciplinary approaches to climate adaptation. Key research interests include: Flood Risk Management Social Vulnerability Indices Climate Policy and Institutional Capacity Urban Planning for Disaster Resilience Recent articles highlight advancements in cloudburst modeling, pluvial flood mitigation through Low-Impact Development, and the complexities of social vulnerability in Nordic contexts. His studies often emphasize practical applications, such as Sweden's municipal disaster preparedness and index-driven policy frameworks. As part of his role, he collaborates on open-source catastrophe models and explores innovative data sources like crowdsourced rain data to enhance urban flood risk management. His work bridges academic research with actionable strategies for communities and policymakers facing climate-related challenges.