جستجوی استاد راهنمای دانشگاهی

Zhonghai Luمشاهده پروفایل

استاد

• Computer Architecture
• Embedded Systems
• Network-on-Chip (NoC)
• +۷ مورد دیگر

Zhonghai Lu is a Professor of Electronic Systems Design (specializing in Dependable and Autonomous Systems) at KTH Royal Institute of Technology, part of the Department of Electrical Engineering in the School of Electrical Engineering and Computer Science (EECS). He serves as Program Director for KTH's Embedded Systems master's program and Director of Studies at the Division of Electronics and Embedded Systems. His research focuses on Network-on-Chip (NoC), computer architecture, embedded systems, and Prognostics and Health Management (PHM) of power electronics. He leads a research group exploring in-network processing and embedded intelligence, transforming passive networks into active computational frameworks. Lu holds a BSc from Beijing Normal University (1989), MSc and PhD from KTH (2002, 2007), and an MBA in Innovation and Growth from the University of Turku (2012). He has authored over 240 scientific papers, including journal articles and peer-reviewed conferences, with notable recognitions such as Best Paper Awards at NOCS’2015 and EU HiPEAC, and a Featured Paper in IEEE Transactions on Computers (2020). He serves as Associate Editor for ACM Transactions on Architecture and Code Optimization (TACO) and has chaired major conferences like HiPEAC’2017 and NOCS’2018. His research group’s recent work includes integrating AI into hardware acceleration, fault-tolerant neural networks, and RUL estimation for power electronics using recurrent neural networks. Lu has secured grants from the Swedish Research Council and Intel Corporation and developed courses like IL2230 (Hardware Architectures for Deep Learning) and IL2233 (Embedded Intelligence), pioneering embedded AI education at KTH. Education: BSc (Beijing Normal University), MSc/PhD (KTH), MBA (University of Turku) Awards: Best Paper Awards (NOCS, EU HiPEAC), Swedish Research Council Grants, Intel Research Gifts Labs/Teams: Research Group on In-Network Processing and Embedded Intelligence

• Rural Health
• Public Health
• Social and Economic Geography
• +۳ مورد دیگر

Dean B. Carson is a researcher at Umeå University , affiliated with the Faculty of Medicine, Department of Epidemiology and Global Health , and the Arctic Research Centre . His work focuses on rural health systems, social care workforce challenges, sustainable rural development, and community-based approaches to healthcare and food security. Rural Health : Explores capacity-building in rural health research and medical education reform. Public Health : Analyzes service delivery models and co-creation frameworks for elderly care. Geography : Investigates spatial dynamics in northern peripheries, including food production networks and micro-urbanization. Recent publications (2024-2025) examine topics such as rural health research capacity frameworks , hospital-to-home transfer systems , and non-commercial food distribution networks . His studies often integrate theoretical models like Rural Nursing Theory and Beyond Periphery while emphasizing stakeholder engagement and policy translation. Grants and Collaborations : Funded by the Swedish Research Council Formas, American National Science Foundation (NSF), and Riksbankens Jubileumsfond. Collaborates with Arctic-FROST networks and Lifestyle Migration Hub researchers.

Pontus Johnsonمشاهده پروفایل

استاد

• Cybersecurity
• Enterprise Architecture
• Attack Simulation
• +۳ مورد دیگر

Pontus Johnson is a Professor at the KTH Royal Institute of Technology in Stockholm, Sweden. He leads the Center for Cyber Defense and Information Security (collaborating with Swedish Armed Forces, FRA, MSB, FOI, FHS) and serves as vice director of Cybercampus Sweden since 2024. His research focuses on cybersecurity , enterprise architecture analysis , and probabilistic threat modeling , particularly through his development of the Meta Attack Language (MAL) for simulating cyber attacks on networked systems. Education: MSc in Computer Science, Lund Institute of Technology (1997) PhD in Computer Science, KTH (2002) Docent title, KTH (2007) Leadership Roles: Director, Center for Cyber Defense and Information Security (2013–present) Vice Director, Cybercampus Sweden (2024–present) Board Member, Swedish Research Council (2025–present) Deputy Chair, Swedish Royal Academy of Engineering Sciences (IVA) Board (2024–present) His work spans cybersecurity research , attack simulation methodologies , and enterprise architecture frameworks . He has developed tools like securiCAD (acquired by Google) and pwnPr3d for probabilistic threat modeling. His 15 most recent publications highlight advancements in graph-based attack simulations , automated security assessments , and AI applications in cyber defense . Scientific recognition includes: Listed among Tech Awards Sweden's 50 Most Influential People in Swedish Tech (2022, 2023) Discovery of vulnerability in the Universal Turing Machine (2021) He supervises 16 PhD students and alumni (2005–2024), including Simon Gökstorp , Jakob Nyberg , and Sotirios Katsikeas . His academic service includes over 50 program committee roles and leadership positions in international conferences. He contributes to both academic and public domains through media appearances (SVT, Aftonbladet), courses in ethical hacking , and industry collaboration via his role at Google (20% of his time). His research group Software Systems Architecture and Security (SSAS) focuses on predictive security frameworks and system-of-systems analysis.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

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

Karl Henrik Johanssonمشاهده پروفایل

استاد

• Networked and distributed control
• Cyber-physical systems
• Cyber-secure control systems
• +۴ مورد دیگر

Karl Henrik Johansson is a Professor at the School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology in Stockholm, Sweden, where he also serves as the Founding Director of Digital Futures. He is a Fellow of both IEEE and the Royal Swedish Academy of Engineering Sciences, and has held leadership positions including Immediate Past President of the European Control Association and IEEE Control Systems Society Vice President Diversity, Outreach & Development. Dr. Johansson earned his MSc in Electrical Engineering and PhD in Automatic Control from Lund University. His academic journey includes visiting positions at prestigious institutions such as UC Berkeley, Caltech, and NTU. His research focuses on networked control systems and cyber-physical systems with applications in transportation, energy, and automation networks. His work investigates fundamental challenges in connecting physical world systems through communication networks, exploring how wireless communication and sensor technology can enhance system robustness, reliability, energy efficiency, and safety. Current research directions include security of cyber-physical systems, distributed optimization, multi-agent systems, and applications to intelligent transportation and energy networks. Analysis of his recent publications reveals a strong focus on distributed optimization algorithms, secure networked control, multi-agent systems, and applications to transportation and energy networks. His work increasingly integrates machine learning techniques with traditional control theory, addressing challenges in privacy-preserving distributed computation, resilient state estimation, and resource allocation in complex networked systems. IEEE Control Systems Society Hendrik W. Bode Lecture Prize (2024) Swedish Research Council Distinguished Professor (2018-2027) Wallenberg Scholar (2009-2026) IFAC Young Author Prize IEEE CSS Distinguished Lecturer (2017-2019) IFAC Outstanding Service Award IEEE Fellow Dr. Johansson has supervised over 100 postdocs and PhD students, with many now holding prominent positions at institutions worldwide. His research has been supported by significant grants including the Swedish Research Council Distinguished Professor Grant (2018-2027), multiple Wallenberg Foundation grants, and numerous EU and national research projects. He has directed major research centers including ACCESS Linnaeus Centre (2009-2016) and Strategic Research Area ICT TNG (2013-2020). His research group operates within the Digital Futures initiative and maintains strong connections with industry partners through projects like the Integrated Transport Research Lab (supported by Scania and Ericsson) and Smart Mobility Lab. The group actively collaborates with international institutions and participates in major EU-funded projects addressing challenges in cyber-physical systems, transportation, and energy networks.

Gustav Eje Henterمشاهده پروفایل

استادیار

• Speech Synthesis
• Machine Learning
• Artificial Intelligence
• +۶ مورد دیگر

Gustav Eje Henter is an Assistant Professor at KTH Royal Institute of Technology, holding roles as the Head of Research at Motorica AB and a Core Team Member of the Wallenberg Research Arena (WARA) for Media and Language. He is the Secretary of the ISCA SynSIG (Special Interest Group on Speech Synthesis) and a Co-Organiser of the GENEA Workshops on Embodied Agents' Non-Verbal Behavior. His research focuses on speech synthesis, gesture generation, and multimodal interaction, with contributions to TTS systems, neural networks, and embodied AI. He leads Digital Futures, a cross-disciplinary research center addressing societal challenges through digital technologies. This center is a collaboration between KTH, Stockholm University, and RISE. His work spans foundational research to industrial applications, emphasizing ethical AI, privacy in voice conversion, and human-robot interaction. Key research themes include causal reasoning in LLMs, adversarial privacy techniques, and benchmarking frameworks like the GENEA Leaderboard. He has organized international workshops (GENEA 2021-2024) and contributed to standards in TTS evaluation methodologies. His technical innovations include HiFi-Glot for formant synthesis and Matcha-TTS for fast waveform generation. His research integrates audio, gesture, and motion synthesis with deep learning, addressing challenges in spontaneous speech synthesis, multimodal coherence, and listener perception. He advocates for rigorous evaluation practices and open challenges to advance the field's reproducibility and real-world applicability.

• Control Technology
• Distributed Optimization
• Machine Learning
• +۴ مورد دیگر

Mikael Johansson is a Professor at Kungliga Tekniska Högskolan (KTH), specializing in Control Technology . He teaches and coordinates courses such as Distributed Optimization (FEL3311) and various advanced-level degree projects in computer science, electrical engineering, and systems engineering. His research spans Control Systems , Machine Learning , and Optimization , with a focus on asynchronous algorithms, federated learning, and applications in energy systems and construction. His work includes 15 recent publications on topics like neural networks, distributed optimization, and battery technology. Notable areas of contribution are in asynchronous learning, federated learning with privacy constraints, and quasi-Newton methods for optimization. His research bridges theoretical advancements with practical applications in urban design, healthcare, and autonomous systems.

• computer security
• formal methods
• program logics
• +۳ مورد دیگر

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.

Panagiotis Papapetrouمشاهده پروفایل

استاد

• Data Science
• Machine Learning
• Time Series Analysis
• +۵ مورد دیگر

Panagiotis Papapetrou is a Professor of Data Science and Deputy Head of Department at the Department of Computer and Systems Science , Stockholm University (since 2017). He also serves as Head of the Data Science Research Group and holds an Adjunct Professor position at Aalto University (Finland). As a Board Member of the Swedish Association for Artificial Intelligence (SAIS) , he contributes to shaping AI research directions in Sweden. Research Pillars: Algorithmic data mining, interpretable machine learning, time series classification, and health informatics Key Projects: AI for societal fairness, digital twins for smart buildings, EXTREMUM for explainable medical AI, and e-learning personalization Teaching Legacy: Developed courses in Data Mining (HT2013-2022), Machine Learning (VT2022-2024), and Health Informatics (VT2018-2021) His work focuses on interpretable AI for healthcare applications, particularly through counterfactual explanations for time series classification and forecasting. This includes developing methods like Glacier for constrained counterfactuals and Ijuice for k-justified explanations. His research also explores multimodal clustering of sepsis patient records and federated learning approaches for ICU mortality prediction. Recent scientific contributions include: CounterFair (2024): Group fairness analysis via counterfactual burden metrics M-ClustEHR (2024): Multimodal clustering for electronic health records COMET (2024): Constraint-based glucose forecasting explanations Temporal pattern mining (2024-2025): Enhanced forecasting models through decomposition Z-Time (2024): Interpretable multivariate time series classification His editorial leadership includes: Action Editor at Machine Learning Journal (since 2024) Action Editor at Data Mining and Knowledge Discovery (since 2018) Guest Editorial Board for ECML/PKDD Journal Track (2014-2019)

• Particle Physics
• High Energy Physics
• ATLAS Collaboration
• +۳ مورد دیگر

Jonas Strandberg is an Associate Professor at KTH Royal Institute of Technology's Department of Physics, part of the School of Engineering Sciences. His research focuses on particle physics, particularly within the ATLAS Collaboration at the Large Hadron Collider (LHC). He contributed to the Higgs boson discovery and currently studies its properties. Strandberg has been involved in detector development, including the HGTD timing detector for the LHC upgrade. He holds a PhD from Stockholm University (2006) and worked as a postdoc at the University of Michigan (2006-2011) before joining KTH. His teaching responsibilities include courses on experimental particle physics, statistical methods, and engineering skills. Research interests span high-energy physics, collider technology, and detector systems. Research Highlights: Member of the ATLAS Collaboration since 2011 Key contributor to Higgs boson measurements Developed timing detector systems for LHC upgrades Published extensively on particle physics and accelerator technology Teaching & Supervision: Course responsible for Experimental Particle Physics (SH2203) Teaching roles in Applied Modern Physics (SH1015), Embedded Systems Design (IL2232), and more Professional Activities: ATLAS Data Preparation Coordinator (2015-2017) Member of the Particle and Astroparticle Physics Group at AlbaNova University Centre

Ahmed Hemaniمشاهده پروفایل

استاد

• Computer Engineering
• Embedded Systems
• Hardware Acceleration
• +۵ مورد دیگر

Professor Ahmed Hemani is a faculty member at the Division of Electronics and Embedded Systems, KTH Royal Institute of Technology, affiliated with the Digital Futures Faculty. He holds the role of PI for the project 'New Chip Architectures for Industrial Vision' and leads research in reconfigurable computing, memristor-based systems, and hardware acceleration for AI and edge computing. His work bridges theoretical computer science with practical VLSI design and embedded systems development. He actively contributes to cross-disciplinary initiatives at Digital Futures, a joint center with Stockholm University and RISE Research Institutes of Sweden focused on digital innovation. His research emphasizes scalable FPGA/HPC architectures, low-power neuromorphic systems, and optimization techniques for custom silicon solutions. Current projects include a Lego-inspired edge AI framework and memristor-driven MIMO acceleration. Teaching responsibilities span advanced courses in SOC design, digital system verification, and embedded systems. He supervises advanced-level degree projects across computer engineering and ICT innovation specializations, emphasizing hands-on hardware-software co-design methodologies. Recent publications highlight innovations in memristor applications, FPGA-based acceleration, and reconfigurable architectures for neural networks and bioinformatics. His work addresses challenges in dark silicon utilization, energy-efficient computation, and high-performance embedded systems.

• Hardware Security
• Side-Channel Attacks
• Cryptography
• +۳ مورد دیگر

Martin Brisfors is a part-time researcher at KTH Royal Institute of Technology since 2019 and a PhD student in the Department of Electrical Engineering and Computer Science (EECS) since 2022. He is affiliated with the Division of Electronics and Embedded Systems and works in Kista. His research focuses on hardware security and side-channel attacks, with a particular emphasis on cryptographic implementations and countermeasure design. His work spans topics such as post-quantum cryptography (e.g., CRYSTALS-Kyber), AES vulnerability analysis, and the application of deep learning in side-channel attacks. He has contributed to evaluating the efficacy of countermeasures like clock randomization and duplication, uncovering fundamental flaws in their implementation. Brisfors has collaborated on courses such as Hardware Security (IL1333) and Hardware Security (FIL3030) , demonstrating his involvement in both research and education. His publications (2019–2024) reflect a consistent focus on advancing hardware security through empirical analysis and novel attack methodologies.

• Computer Architecture
• Reconfigurable Computing
• Network-on-Chip (NoC)
• +۷ مورد دیگر

Ioannis Sourdis is a Full Professor at the Department of Computer Engineering, Chalmers University of Technology, Sweden. His research focuses on computer architecture, reconfigurable computing, network-on-chip (NoC) design, memory systems, and fault-tolerant embedded systems, with applications in biomedical informatics and hardware security. Current projects include EUMMSS (Efficient Uncore Mechanisms for Multicore Space Systems, funded by the Swedish National Space Board) and eProcessor (European Processor Ecosystem, funded by the European Commission). Past initiatives include the DeSyRe project (on-demand system reliability), ECOSCALE (exascale reconfigurable computing), and SHARCS (secure hardware-software architectures). His work spans NoC router design (e.g., FastTrackNoC, DDRNoC), memory compression (MemSZ, L2C), and biomedical security applications (heartbeat-based protocols). He has published extensively in venues like DATE, ICS, PACT, and IEEE Transactions on Networking. Key research areas: Chiplet-based systems , hybrid memory architectures , FPGA acceleration , and real-time stream aggregation .

Martina Maggioمشاهده پروفایل

استاد

• Control Theory
• Cyber-Physical Systems
• Real-Time Systems
• +۵ مورد دیگر

Martina Maggio is a Professor at the Department of Computer Science, Saarland University (full-time since 2020) and holds a 20% position at Lund University's Department of Automatic Control (since 2023). She serves as Coordinator of LTH's AI and Digitalization Profile Area and is a member of Lund University's Natural and Artificial Cognition initiative. Her research integrates control theory, real-time systems, and cybersecurity in cyber-physical systems. She has supervised over ten PhD students and postdoctoral researchers, contributing to advancements in resource allocation, fault-tolerant control systems, and self-aware computing. Education: PhD in Control Theory from Politecnico di Milano (with MIT visiting research), postdoctoral work at Lund University. Key affiliations: ELLIIT, Bosch Corporate Research (sabbatical 2019). Research focuses on robust control strategies under computational uncertainties, cyberattacks, and sensor misalignment. Notable work includes influential papers at the intersection of software engineering and control theory (e.g., 2015 SEAMS most influential paper). Grants and advising: Supervised 10+ students, including alumni Dr. Nils Vreman (2023) and Dr. Gautham Nayak Seetanadi (2021). Active in collaborative projects like Bosch's control system verification initiatives. Labs/Teams: Leads research groups at Saarland and Lund, focusing on real-time systems, embedded systems security, and AI-driven control architectures.

Zebo Pengمشاهده پروفایل

استاد

• Embedded Systems
• Electronic Design Automation
• SoC Testing
• +۶ مورد دیگر

Zebo Peng is a Professor and Deputy Head of Department at Linköping University's Department of Computer and Information Science (IDA), leading the Software and Systems (SAS) division. His research focuses on embedded systems design, electronic design automation, SoC testing, and real-time systems with emphasis on fault tolerance and hardware/software co-design. He has contributed to projects like the ASTECC initiative, funded by the Swedish Foundation for Strategic Research, addressing adaptive software in edge-cloud continuum systems. Key research interests include cyber-physical systems security, time-sensitive networking (TSN), and optimization techniques using genetic algorithms. Recent work explores thermal-aware design for reliability, security-aware scheduling, and stability guarantees in control systems. His publications span journals like IEEE TPDS and ACM TECS, alongside conference contributions on topics like resource management and fault detection in distributed systems. Prof. Peng collaborates extensively within the SAS division, which bridges academic and industrial research in software engineering and computer systems. His team's projects address challenges in real-time systems, embedded security, and parallel computing architectures.