جست‌وجوی استاد و پژوهشگر

Johan Karlssonمشاهده پروفایل

استاد

• Optimization and Systems Theory
• Inverse Problems
• Large Scale Optimization
• +۴ مورد دیگر

Johan Karlsson is a Professor in the Department of Mathematics at KTH Royal Institute of Technology, Sweden. He serves as Associate Director Executive Research at Digital Futures, a cross-disciplinary research center focusing on digital technologies for societal challenges. He holds a PhD in Optimization and Systems Theory from KTH (2008) and an MSc in Engineering Physics (2003). His research focuses on inverse problems, optimization, model reduction, and their applications in remote sensing, signal processing, and control theory. He leads the Decision-making in Critical Societal Infrastructures (DEMOCRITUS) project and collaborates on initiatives like the Lindquist Symposium in Systems Theory. Teaching includes advanced courses such as Optimal Control and Convexity and Optimization in Linear Spaces . He supervises PhD students and has authored/co-authored numerous papers in journals like SIAM Journal on Control and Optimization and IEEE Transactions on Automatic Control . His work integrates optimal transport theory, control systems, and computational methods to address complex engineering and environmental challenges. Key affiliations include KTH’s Department of Mathematics and Digital Futures, with collaborations across academia and industry. His research group actively engages in workshops, conferences, and interdisciplinary projects to advance theoretical and applied aspects of optimization and systems theory.

Ingo Sanderمشاهده پروفایل

استاد

• Embedded Systems Design
• Models of Computation (MoCs)
• Mixed-Criticality Systems
• +۳ مورد دیگر

Ingo Sander is a Professor in Electronic Systems Design at KTH Royal Institute of Technology, affiliated with the Digital Futures Faculty and the Division of Electronics and Embedded Systems. He joined KTH in 1993 and has held his current professorship since 2018. His research focuses on formal system design methodologies like ForSyDe, emphasizing embedded systems, mixed-criticality applications, and design automation. He co-founded the cross-disciplinary Digital Futures research center, which addresses societal challenges through digital technology innovation. Education: MSc in Electrical Engineering (Technical University of Braunschweig, 1990), PhD and Docent at KTH (2003, 2009). Professional experience includes work at Ericsson (1991–1993). Research Interests: Design methodologies for embedded systems, models of computation (MoCs), formal verification, and cyber-physical systems. Key contributions include the ForSyDe framework and design space exploration techniques for multiprocessor platforms. His work bridges theoretical foundations with practical implementations, targeting safety-critical and high-performance embedded systems. Teaching: Ingo Sander supervises numerous master’s degree projects in computer engineering, electrical engineering, and ICT innovation. He leads courses on embedded software, systems design, and simulation. Labs & Projects: Digital Futures collaborates with Stockholm University and RISE, advancing innovations in digital technologies. Sander’s projects include the SAFEPOWER initiative for energy-efficient mixed-criticality systems and CONTREX for control systems design.

Xi Wangمشاهده پروفایل

دانشیار

• Cloud-based Manufacturing
• Sustainable Manufacturing
• Robotics
• +۳ مورد دیگر

Xi Wang is an Associate Professor in the Department of Production Engineering at KTH Royal Institute of Technology, Sweden, and serves as the Division Head of Industrial Production Systems (IPS). He holds a PhD from the University of Auckland (2013) and a Bachelor's from Tianjin University (2008). His research focuses on Cloud-based Manufacturing, Sustainable Manufacturing, Robotics, Digital Twin Technology, and Computer-aided Design. He is actively involved in editorial roles for journals like the International Journal of Manufacturing Research and the Journal of Manufacturing Systems. Education: PhD in Mechanical Engineering, University of Auckland, 2013 Bachelor of Mechanical Engineering, Tianjin University, 2008 Research Interests: Dr. Wang’s work emphasizes integrating advanced technologies into manufacturing systems, including: Cloud Manufacturing: Cyber-Physical Systems and Service Composition Sustainable Practices: Energy Efficiency and Recycling Systems Robotics: Collaborative Systems and Calibration Methods Digital Twin: High-Fidelity Modeling for Industry 5.0 His recent publications highlight optimization algorithms, predictive modeling, and blockchain applications in manufacturing. Professional Contributions: Managing Editor, International Journal of Manufacturing Research (IJMR) Editorial Board Member of 3+ international journals Lead researcher on EU-funded projects like SYMBIO-TIC and CAPP-4-SMEs Lab/Team Involvement: His research groups focus on Human-Robot Collaboration and Smart Production Logistics , with projects addressing real-time adaptive systems and safety frameworks.

Magnus Wiktorssonمشاهده پروفایل

استاد

• Smart Production Logistics
• Sustainability and Circular Economy
• Machine Learning Applications
• +۷ مورد دیگر

Magnus Wiktorsson is a Professor at KTH Royal Institute of Technology's Department of Sustainable Production Development within the Digital Futures Faculty. His work focuses on smart production logistics, sustainability, and digital transformation in manufacturing systems. He explores applications of machine learning, IoT, blockchain, and digital twins to enhance supply chain visibility, optimize production processes, and achieve circular economy goals. His research integrates technical and socio-technical perspectives, addressing challenges in human-robot collaboration, data-driven decision-making, and Industry 4.0/5.0 transitions. Key themes include material efficiency, real-time data utilization, and participatory modeling in urban and industrial logistics. Recent work emphasizes frameworks for adaptive scheduling, explainable AI in logistics, and blockchain-based collaboration models. Wiktorsson collaborates with industry partners to validate frameworks through case studies, pilot projects, and simulation-based methodologies. His contributions span academic publications and contributions to strategic innovation programs like Produktion2030, focusing on sustainability and resilience in manufacturing systems.

Dimos V. Dimarogonasمشاهده پروفایل

استاد

• Multi-Agent Control Systems
• Robot Navigation
• Task Planning
• +۱۱ مورد دیگر

Dimos V. Dimarogonas is a Professor of Automatic Control at the Division of Decision and Control Systems , School of Electrical Engineering and Computer Science , KTH Royal Institute of Technology . His research focuses on multi-agent control systems, hybrid systems, and formal verification with applications to robotics and autonomous systems. Alumnus of National Technical University of Athens (NTUA) Postdoctoral experience at KTH and MIT Research areas include: Multi-agent coordination under temporal logic specifications Hybrid control and planning for autonomous robots Formal verification of safety-critical systems Networked control with limited communication Robust distributed control protocols Applications to precision agriculture, underwater vehicles, and space robotics Recent publications emphasize stochastic control , funnel-based safety , and transient control for leader-follower networks. Scientific accolades include ERC Consolidator Grant (2019) , Wallenberg Academy Fellow (2015) , and ERC Starting Grant (2014) . Supervises numerous PhD students and postdocs, with former advisees now holding academic positions at institutions like Caltech, MIT, and Oxford.

Oskar Kvimanمشاهده پروفایل

پژوهشگر

• Bayesian phylogenetics
• Probabilistic machine learning
• Variational inference
• +۱۵ مورد دیگر

Oskar Kviman is a doctoral student at KTH Royal Institute of Technology working in the Lagergren Lab within the Division of Computational Science and Technology. His research bridges machine learning, statistics, and computational biology with a focus on developing and applying advanced probabilistic methods. His primary research interests include: Bayesian phylogenetics and probabilistic machine learning Variational inference, variational auto-encoders, and sequential Monte Carlo methods Generative AI techniques including flow matching, Schrödinger bridges, and diffusion models Computational cancer research focusing on differential expression testing and spatial transcriptomics Kviman's publication record demonstrates significant contributions to variational inference methodology, particularly in phylogenetics and generative modeling. His work spans top machine learning conferences including ICML, NeurIPS, and AISTATS, showing consistent development of techniques that improve efficiency and accuracy in probabilistic modeling. Recent publications focus on multi-marginal flow matching, variational resampling, and mixture learning in black-box variational inference. He has been recognized for his peer review contributions as a Top reviewer (10%) for AISTATS 2023. Kviman has supervised master's theses for Xindi Liu and Ricky Molén at KTH and serves as a lecturer for 'Statistical Methods in Applied Computer Science' since 2021, while previously working as a teaching assistant for 'Machine Learning, Advanced Course' and 'Deep Learning, Advanced Course'.

Shahab Fatemiمشاهده پروفایل

دانشیار

• Plasma Physics
• Planetary Science
• Space Science
• +۳ مورد دیگر

Shahab Fatemi is an Associate Professor at the Department of Physics, Umeå University, leading the Computational Space Physics research group. His primary research focuses on plasma interactions with planetary bodies using hybrid-kinetic simulations and spacecraft data, with a particular emphasis on Mercury, the Moon, and comets. He completed his Ph.D. in Space Science at Luleå University of Technology (2014) and held postdoctoral positions at UC Berkeley and NASA's Ames Research Center. He is a co-investigator on NASA's Lunar Vertex mission (launching 2025) and contributes to ESA/JAXA's BepiColombo mission to Mercury. His technical expertise includes developing the Amitis parallel plasma simulation code in C++/CUDA/MPL. Teaching responsibilities include undergraduate courses on Spacecraft Technology and Design , Research Topics in Physics , and Machine Learning in Physics . He supervises PhD/postdoc/undergraduate researchers and collaborates internationally across institutions like IRF Kiruna and NASA's Goddard Space Flight Center. Research interests span planetary magnetospheres, solar wind interactions, and plasma modeling, with recent work analyzing Mercury's field-aligned currents, lunar exosphere dynamics, and Ganymede's atmospheric/plasma environment. His computational tools enable 3D simulations of planetary plasma environments at unprecedented resolution. Key projects include: Leading Mercury plasma studies via BepiColombo's MIPA instrument Developing Lunar Vertex's PRISM payload for magnetic anomaly investigation Simulating Ceres' plasma environment under variable solar wind conditions Labs/teams: Computational Space Physics Group (Umeå) BepiColombo/SERENA collaboration NASA Lunar Science Working Group Future work includes expanding Amitis code capabilities for exoplanetary plasma studies and preparing for JUICE mission data analysis at Ganymede.

Philipp Hallerمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Concurrency
• +۱۱ مورد دیگر

Philipp Haller is an Associate Professor in the Department of Computer Science at KTH Royal Institute of Technology, affiliated with the Theoretical Computer Science Group, Digital Futures, and WASP. He holds a PhD from EPFL (2010) and has held research positions at Stanford and EPFL, and industry roles at Typesafe Inc. Research Interests: His work centers on programming language design, concurrency (especially actor and futures models), distributed programming, type systems, and serverless computing. He is a leading contributor to the Scala language, having co-created its async/await syntax and futures library. His recent research includes the Portals framework for stateful serverless applications and formal models for consistency and concurrency safety. Publication Trends: His recent work (2020–2024) shows a strong focus on safe and scalable concurrency, stateful serverless systems, formal verification of language features, and distributed data consistency. He frequently publishes in top venues like ECOOP, OOPSLA, and PLDI, often combining theory with practical implementations in Scala. 2019 ACM SIGPLAN Programming Languages Software Award (for Scala) 2017 Teacher of the Year, EECS, KTH Advising and Grants: He supervises PhD students including Jonas Spenger, Xin Zhao, and Viktor Palmkvist. He led the Software Development Academy, a reskilling program for immigrants funded by the Wallenberg Foundations. He actively participates in academic service, co-chairing workshops like PLACES and AGERE!, and serving on program committees for OOPSLA, ECOOP, and POPL. Labs and Teams: He is part of the Theoretical Computer Science Group at KTH and leads research related to the Portals framework, which unifies dataflow and actor models for edge and serverless computing.

• Functional Programming
• Domain-Specific Languages
• Climate Impact Research
• +۷ مورد دیگر

Patrik Jansson is a Professor of Computer Science at Chalmers University of Technology since 2011, with joint affiliation to Gothenburg University. His work bridges Functional Programming, Domain-Specific Languages (DSLs), and applications to Climate Impact Research, Fusion, and Physics.

Yi Wangمشاهده پروفایل

استاد

• Embedded Systems
• Real-Time Systems
• Real-Time Scheduling
• +۷ مورد دیگر

Yi Wang is a Professor of Embedded Systems at the Department of Information Technology, Uppsala University , Sweden. He leads research in real-time and embedded systems with a focus on modeling, analysis, and implementation of safety-critical applications. He is affiliated with the Embedded Systems Group and serves as a Principal Investigator (PI) in major research centers such as UPMARC and projects like CUSTOMER (ERC Advanced Grant), CoDeR-MP, and CERTAINTY. Research Interests: Yi Wang’s work centers on Embedded Systems Design, Real-Time Scheduling, Multicore Programming, and Model-Checking of Real-Time Systems . His research addresses fundamental challenges in timing predictability, schedulability analysis, and the verification of complex real-time systems. He has made significant contributions to the digraph real-time task model, mixed-criticality systems, and timing analysis of ROS 2 systems. His work bridges theory and practice, often resulting in deployable tools and formal methods for industrial applications. Recent Research Trends: His most recent publications (2023–2025) focus on optimizing real-time performance in ROS 2, managing parallel task graphs with resource contention, improving GPU-based inference on embedded platforms, and enhancing timing predictability in multithreaded executors. These works reflect a strong trend toward applying formal real-time theory to modern robotics, AI integration, and multicore embedded architectures. Scientific Tools and Leadership: He is a key contributor to foundational tools in real-time systems: UPPAAL – Model checking for timed automata TIMES – Schedulability analysis and code generation CATS – Compositional analysis of timed systems TIMES-Pro – Based on the digraph real-time task model Advising and Research Funding: Yi Wang has supervised numerous PhD students and postdocs. He has led or participated in multiple large-scale funded projects supported by the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF), and the European Commission (FP7, ERC). These include UPMARC (10-year Linnaeus center), CoDeR-MP (with ABB and SAAB), SAVE++ (with VOLVO), and CREDO. Laboratories and Research Groups: He is a core member of the Embedded Systems Group at Uppsala University and leads research within the UPMARC center, which focuses on programming models and analysis techniques for multicore architectures. His lab develops formal methods and tools to ensure correctness and timing guarantees in embedded and cyber-physical systems.

• Deep Learning
• Multi-Agent Systems
• Grid Computing
• +۷ مورد دیگر

Dawit Mengistu is a Senior Lecturer in Computer Engineering at the Department of Computer Science, Faculty of Natural Science, Malmö University. His research focuses on deep learning applications, edge computing, and distributed simulation systems. 2022: Deep Learning Approaches for Crack Detection in Bridge Concrete Structures 2024: Concrete Crack Detection Using Multi-Source Data Augmentation in Deep Learning Models 2018: Session Key Agreement for End-to-End Security in Time-Synchronized Networks His research spans artificial intelligence and system performance optimization , with specific interests in: Multi-agent simulation scalability Edge computing for IoT devices Concrete structural analysis via neural networks Grid environment resource management Article trends show increasing focus on infrastructure AI and distributed systems , while earlier works concentrated on simulation algorithms and middleware. No recent scientific awards listed in available data.

Håkan Sundellمشاهده پروفایل

استادیار

• Computer Science
• Artificial Intelligence
• Parallel and Distributed Systems
• +۷ مورد دیگر

Håkan Sundell is an Assistant Professor of Computer Science at the University of Borås , affiliated with the Faculty of Librarianship, Information, Education and IT and the Department of Information Technology . Since 2006, he has been active as a teacher in informatics and a research group leader for the CSL@BS research group , while also serving as program manager for the System Architecture Education with a Focus on Software Development . His research spans Artificial Intelligence , Parallel and Distributed Systems , Concurrent Programming , and Machine Learning Applications , with a particular emphasis on lock-free data structures and GPU algorithms . He has developed over 30 courses and supervised multiple doctoral students to completion. Scientific contributions include advancements in non-blocking algorithms, real-time systems, and AI-driven marketing tools. His article trends reflect interdisciplinary work in data science for fashion retail , district heating analytics , and marketing campaign optimization . Key Awards: Best Paper Award at IPDPS 2003 Recognized as a pioneer in Swedish computer game development As a main supervisor since 2012, he has driven externally funded research projects (VR, SSF, KKS, HUR) and served on university committees, including chairing the education committee from 2018–2022.

• Artificial Intelligence
• Machine Learning
• Data Science
• +۵ مورد دیگر

Amira Soliman is a Senior Lecturer at Halmstad University's School of Information Technology, specializing in artificial intelligence and machine learning with applications in healthcare. Her work bridges the gap between advanced computational techniques and practical healthcare solutions, focusing on improving patient outcomes through data-driven approaches. Dr. Soliman's research interests span a wide range of areas in AI and data science: Artificial Intelligence and Machine Learning for healthcare applications Graph analytics and network analysis in healthcare systems Federated learning for privacy-preserving healthcare analytics Healthcare informatics and clinical decision support systems Social network analysis for public health applications Distributed systems for large-scale healthcare data processing Her recent publications demonstrate a strong focus on applying advanced machine learning techniques to healthcare challenges, particularly in the areas of heart failure prediction, dementia diagnosis, and synthetic health data generation. Her work often combines clinical expertise with cutting-edge AI methodologies, resulting in practical tools that can be implemented in real-world healthcare settings. A notable trend in her research is the emphasis on explainability and interpretability of AI models in medical contexts, ensuring that clinicians can understand and trust the recommendations made by these systems. As an educator, Dr. Soliman teaches courses including Artificial Intelligence for healthcare, Smart Healthcare with applications, Big-data Parallel Programming, and Applied Data Mining. She also provides thesis supervision for both MSc and PhD students. Her teaching approach emphasizes the practical application of theoretical concepts, preparing students to tackle real-world challenges in healthcare AI. Dr. Soliman has served as a peer reviewer for prestigious journals and conferences including IEEE Internet Computing, Data Mining and Knowledge Discovery, Journal of Social Network Analysis and Mining, Journal of Future Generation Computer Systems, IEEE/WIC/ACM International Conference on Web Intelligence, and European Conference on Parallel and Distributed Computing. Her research has been supported through projects such as HaRP (Heart failure Readmission Prediction) and PadAI (AI for better mental health in young people).

Kateryna Morozovskaمشاهده پروفایل

پژوهشگر

• Computational Methods for Energy Systems
• Physics-Informed Machine Learning
• Renewable Energy Integration
• +۳ مورد دیگر

Kateryna Morozovska is a Researcher at the KTH Royal Institute of Technology , affiliated with the Division of Decision and Control Systems and the School of Electrical Engineering and Computer Science . Her work bridges computational methods and energy systems development, focusing on physics-informed machine learning for renewable energy integration and power transformer optimization. Education B.S. and M.S. in Electrical Mechanics from Zaporizhzhya National Technical University (2013) European Energy Masters program with mobility at DTU (Denmark), TU Delft (Netherlands), and NTNU (Norway) PhD in Electrical Engineering from KTH (2020) on 'Dynamic rating for applications in renewable energy' Licentiate from KTH (2019) Research Focus Kateryna's research emphasizes Physics-Informed Neural Networks (PINNs) for power system optimization, including transformer thermal modeling, cellulose degradation analysis, and renewable energy integration. Her projects explore dynamic rating techniques to enhance grid efficiency and sustainability, funded by Vinnova and applied in PV-power plants and wind farms. Scientific Contributions She has developed frameworks for transformer cost analysis, wind farm sizing, and sensor placement optimization using PINNs and MILP. Her work addresses environmental trade-offs in wind energy, such as raw material mining impacts, and investigates thermodynamic challenges in nanocellulose and power systems. Affiliations Kateryna collaborates with industry partners through the PINN Summer School and contributes to SweGRIDS and Mendeley communities. Her teaching includes hands-on PINN training and multi-GPU machine learning.

• Machine Learning
• Optimization Algorithms
• Optimal Transport
• +۳ مورد دیگر

Jacob Lindbäck is a doctoral student at KTH Royal Institute of Technology , affiliated with the Division of Decision and Control Systems and the Wallenberg AI, Autonomous Systems and Software Program (WASP). His research focuses on the analysis and development of scalable optimization algorithms for machine learning, particularly computational optimal transport and its applications. Key research areas: Machine Learning Optimization Algorithms Optimal Transport Computational Mathematics Publications highlight advancements in GPU-accelerated splitting methods for optimal transport, novel algorithms, and computational efficiency. He also contributes as an assistant for the course Modelling of Dynamical Systems (EL2820) .