Find Academic Supervisors

Daniel Müller-Gritschneder is an Adjunct Teaching Professor (Privatdozent) at the Technical University of Munich (TUM), affiliated with the Chair of Electronic Design Automation. He leads the 'Electronic System Level' research group, focusing on embedded systems, TinyML, virtual prototyping, and hardware resilience. He temporarily served as head of the Chair of Real-Time Systems (2019–2020) and holds a senior membership in IEEE. His research spans: TinyML : Optimizing neural network inference for microcontrollers. Virtual Prototyping : Fast simulation for embedded software development (e.g., ETISS simulator). Runtime Verification : Hardware monitoring for safety-critical systems. Fault Tolerance : Cross-layer resilience against soft errors. Design Automation : NoC synthesis and RISC-V toolchain optimization. His publications emphasize RISC-V-based systems, TinyML deployment, fault injection, and embedded AI. Recent works show trends toward compiler-assisted security, thermal management, and automated design-space exploration for edge devices. Awards: Best Paper Award (SiPS 2019) Habilitation Award (Bund der Freunde der TUM, 2019) 2nd Best Paper (SMACD'15) Best Paper nominations at DAC'07, DATE'10, Analog'10, NOCS'13 He advises researchers in the Electronic System Level group and contributes to EU projects (e.g., Scale4Edge). His lab develops tools like ETISS, MLonMCU, and Seal5 for RISC-V and TinyML ecosystems.

• TinyML
• Embedded Software Development
• Soft Error Resilience
• +4 more

Arpan Gujarati is a Sessional Lecturer in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Systopia Lab. He teaches graduate and undergraduate courses such as CPSC 538G (Distributed Systems), CPSC 416 (Operating Systems), and CPEN 432 (Real-Time System Design). He holds a PhD from the Max Planck Institute for Software Systems and TU Kaiserslautern, where he was supervised by Björn B. Brandenburg. PhD: Max Planck Institute for Software Systems & TU Kaiserslautern (2020) Undergraduate: Birla Institute of Technology and Science (BITS Pilani) Postdoctoral Researcher: MPI-SWS Research Associate: UBC Software Development Engineer: Citrix R&D, India His research focuses on real-time and distributed systems, with applications in cyber-physical systems, fault tolerance, and machine learning reliability. He investigates scheduling algorithms, reliability analysis, and the integration of learning-enabled components into safety-critical systems. His work combines theoretical analysis with practical system implementations, often involving real-world testbeds and open-source tools. His recent publications span top-tier venues including RTSS, OSDI, ECRTS, DSN, and Middleware, with a strong emphasis on performance predictability, resilience of ML systems, and real-time communication. His work frequently addresses challenges in timing guarantees, fault tolerance, and system reliability in both cloud and embedded environments. SIGBED Paul Caspi Memorial Dissertation Award Best Paper Award at RTSS 2022 Distinguished Artifact Award at OSDI 2020 Best Student Paper Award at Middleware 2017 Outstanding Paper Award at RTCSA 2025 He advises several PhD students and undergraduate researchers at UBC, including Heng Zhao, Aida Aminian, Zainab Saeed Wattoo, and Philip Schowitz. He has led multiple research projects involving robotic arms, NVIDIA Holoscan, FreeRTOS, and distributed key-value stores. His lab work emphasizes reproducibility, open datasets, and practical system building. He has served on program committees for RTSS, RTAS, ECRTS, and Middleware, and contributes to journals such as Real-Time Systems and JSys.

• Real-Time Systems
• Distributed Systems
• Cyber-Physical Systems
• +7 more

Prof. Dr. rer. nat. Rainer Leupers is a faculty member at RWTH Aachen University, chairing the Department of Software for Systems on Silicon. His research focuses on embedded systems, hardware-software co-design, virtual prototyping, and security in computing-in-memory architectures. He has published extensively on RRAM accelerators, logic locking, and neuromorphic security. Chair of Software for Systems on Silicon Research in hardware security and deep learning accelerators Recent publications on cross-tool virtual frameworks and thermal side-channel attacks His work bridges system-level modeling with practical security implementations, emphasizing reliability and performance in heterogeneous computing environments. Key trends in his 2025-2023 articles include compute-in-memory optimization, neural network inference efficiency, and security vulnerabilities in emerging hardware. Awards and formal recognitions are not explicitly detailed in the provided materials. He has not directly mentioned advising students or research grants in the given text fragments. The chair's contact information includes an office at ICT Cube 1, Electrical Engineering, Aachen, with direct email and website links.

• Embedded Systems
• Compilers
• Hardware-Software Co-Design
• +5 more

Yu Jiang is an Associate Professor at the School of Software, Tsinghua University, China. His research focuses on software security with emphasis on fuzz testing, embedded systems, and database security. He leads the Software System Security Assurance Group which has discovered over 1,000 bugs in major system software with 300+ CVEs registered. Dr. Jiang's research interests include Software Engineering , Embedded Systems Security , and Cross-Layer Fuzzing . His work addresses vulnerabilities in operating systems, databases, communication protocols, and IoT firmware through innovative fuzzing frameworks. Key contributions include semantic-aware fuzzing for heterogeneous software stacks and learning-based vulnerability detection for embedded systems. His recent publications demonstrate strong trends in database security (Hulk, PUPPY, THANOS), ransomware defense (Fawkes, Preventing Disruption), and web security (JANUS). Research spans both theoretical advances in fuzzing techniques and practical industrial applications, with significant impact evidenced by numerous distinguished paper awards. Career Award, NSFC: 2026 Distinguished Paper Award, ISSTA: 2025 First Prize for Technical Invention, CCF: 2024 Distinguished Paper Award, USENIX Security: 2024 SIGSOFT Distinguished Paper Award, FSE: 2022 Dr. Jiang has advised over 50 graduate students including 20 PhD candidates. His research is supported by major grants including NSFC projects ($600,000 for Software Trustworthiness Construction and $350,000 for Distributed Database Reliability), Huawei ($80,000 for LLM-Powered Fuzzing), and Tencent ($120,000 for LLM-Powered Unit Testing). The Software System Security Assurance Group maintains strong industry partnerships with Huawei, Alibaba, Tencent, and Webank. The group operates cutting-edge infrastructure for fuzz testing across multiple domains including database systems, operating kernels, blockchain platforms, and industrial control systems. Current projects integrate LLM technologies with traditional fuzzing techniques to enhance vulnerability detection in complex software stacks.

• Software Engineering
• Embedded Systems
• Fuzz Testing
• +3 more

Mohammad Sadoghi is a Professor at the University of California, Davis, with former affiliations at Purdue University, IBM T.J. Watson Research Center, and the University of Toronto. His research focuses on distributed systems, blockchain technologies, consensus protocols, and fault-tolerant computing. He has contributed extensively to transaction processing, stream processing architectures, and the integration of edge-cloud systems with blockchain frameworks. Current Affiliation: University of California, Davis Former Affiliations: Purdue University, IBM, University of Toronto Research Interests include consensus algorithms, Byzantine fault tolerance, distributed ledger technologies, and scalable data processing. He has pioneered systems like ResilientDB and ByShard, addressing challenges in global-scale distributed systems and blockchain fabrics. His work bridges theoretical foundations with practical implementations, emphasizing real-world applications in edge computing and hybrid cloud-edge environments. Key publications highlight advancements in consensus protocols, blockchain scalability, and fault-tolerant architectures. Recent trends in his work focus on concurrent consensus mechanisms, DAG-based systems, and secure geo-replication. Contributions span both academic publications and industry-oriented solutions, such as the Bedrock platform for BFT protocol analysis. Grants and advising roles are implied through his extensive research output, though specific grants are not detailed in the provided text. His collaborations include projects on self-curating databases (e.g., L-Store) and systems like SplitJoin for stream processing.

• Blockchain Technology
• Distributed Systems
• Consensus Protocols
• +6 more

Dr. Martin Hoffmann is a former research staff member at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-University Erlangen-Nuremberg (FAU). He now works at Brose Fahrzeugteile in Bamberg. His research focuses on dependability, fault tolerance, and real-time systems, with emphasis on embedded systems and safety-critical applications. He taught courses such as Echtzeitsysteme (Real-Time Systems) and Verlässliche Echtzeitsysteme (Reliable Real-Time Systems) across multiple semesters. His work includes projects like dOSEK (a dependability-oriented RTOS), DanceOS (fault-tolerant OS design), and CoRed (software-based redundancy for mixed-criticality systems). He also contributed to the I4Copter interdisciplinary quadrocopter project. His research interests span fault-injection frameworks, static kernel analysis, and soft-error mitigation. Notable contributions include Fail* (a versatile fault-injection tool) and dOSEK (RTOS for automotive safety). He has advised multiple students on topics like fault-tolerant garbage collectors and modular OS service frameworks. No scientific awards are explicitly mentioned in the provided text. His work emphasizes interdisciplinary collaboration, with projects bridging embedded systems, robotics, and safety-critical applications.

• Embedded Systems
• Real-Time Systems
• Fault Tolerance
• +3 more

Stefan Winter is a postdoctoral researcher and software engineer at LMU Munich, Germany, with a Ph.D. (Dr.-Ing.) in computer science from TU Darmstadt. He focuses on software dependability, particularly addressing non-deterministic behavior in software systems, such as flaky tests and reproducibility challenges in experimental research. Education: Ph.D. (Dr.-Ing.) in Computer Science from TU Darmstadt under Prof. Neeraj Suri. Current Role: Researcher at LMU Munich in Dirk Beyer’s group. His research spans test automation, robustness testing, fault injection, and operating systems, with a recent emphasis on mitigating flaky tests and ensuring deterministic software behavior. His work has been published in venues like ASE, ESEC/FSE, and ICSE. Stefan actively contributes to the academic community as a committee member, artifact evaluation co-chair, and session chair across conferences such as ECOOP, ISSTA, and SPLASH. He maintains expertise in reproducibility, experimental validity, and software testing frameworks.

• Flaky Tests
• Robustness Testing
• Fault Injection
• +5 more

Pascal Sasdrich is a Researcher at Ruhr University Bochum, Germany, affiliated with the Faculty of Computer Science and the Security Engineering department. He holds a PhD in IT-Security/Information Technology from the same university (2018), following M.Sc. (2015) and B.Sc. (2012) degrees in the same field. His research focuses on Hardware Security, Secure Processor Design, Computer-Aided Security, and Security by Design. He has extensive experience in cryptographic hardware implementations, including countermeasures against side-channel and fault attacks. Teaching includes courses on Processor Security and Implementation of Cryptographic Schemes. His work bridges theoretical security models with practical hardware implementations, emphasizing automated tools and formal verification for secure embedded systems. Key projects include contributions to Project HEP (open-source hardware security chip design) and development of methodologies like EASIMASK for automated masking in hardware. Publications span cryptographic hardware implementations, fault and side-channel countermeasures, and formal security verification. Notable works include combined threshold implementations, secure processor extensions, and automated generation of masked hardware circuits. Current research emphasizes securing embedded systems through holistic design approaches, including ISA extensions and automated EDA tools.

• Hardware Security
• Secure Processor Design
• Computer-Aided Security
• +3 more

Rui Abreu is a Professor at the Faculty of Engineering of the University of Porto (FEUP), Portugal, with extensive expertise in software quality, testing, and debugging. Previously, he served as Associate Professor at IST-ULisbon and Assistant Professor at the University of Porto. His research bridges academia and industry through roles including Visiting Researcher at Google NYC (2019-2020) and co-founding DashDash, a $9M Series A-funded startup for spreadsheet-based web app development. His educational background includes a Ph.D. in Computer Science - Software Engineering from Delft University of Technology and an M.Sc. in Computer and Systems Engineering from the University of Minho. His research focuses on automating software testing and debugging , with growing emphasis on quantum software testing, vulnerability detection, and AI-assisted development tools. Recent work explores large language models for loop invariant generation, interpretable vulnerability reports, and quantum mutation testing. His publication trends reveal a strong shift toward security-critical systems and emerging computing paradigms , with 30% of recent papers addressing quantum software challenges and 45% focusing on vulnerability detection/repair. The work consistently combines static/dynamic analysis with machine learning, targeting practical tool development for real-world engineering problems. 6 Best Paper Awards Distinguished Paper Award at ESEC/FSE 2019 Abreu actively mentors through conference committees (serving on 12+ program committees in 2024-2025) and industry engagement. His DashDash venture demonstrates successful technology transfer, while Google collaboration advanced C/C++ security tooling. Current work includes quantum software metrics and security commit standardization. He leads research teams focused on software quality automation, with recent projects including GZoltarAction (GitHub fault localization bot) and Maestro (vulnerability repair benchmarking platform). Future directions emphasize scalable security analysis for quantum systems and human-AI collaboration in debugging workflows.

• Software Engineering
• Software Testing
• Debugging
• +6 more

Johannes Geier is a Researcher at the Chair of Design Automation at the Technical University of Munich (TUM). His work focuses on electronic design automation, fault injection simulations, and security countermeasures for RISC-V processors. University: Technical University of Munich Department: Chair of Design Automation Email: johannes.geier@tum.de Research Interests Electronic Design Automation (EDA) for analog and digital circuits Fault tolerance and reliability in RISC-V architectures Security analysis of post-quantum cryptographic systems Timing analysis and microfabrication techniques Optical Networks-on-Chip (NoC) and emerging technologies Compiler-assisted hardware security implementations Recent Research Trends Specializes in fault injection methodologies for hardware security validation Develops open-source tools like vRTLmod for RTL simulation acceleration Explores RISC-V vector extensions for post-quantum cryptography Investigates differential fault effect equivalence checks for efficiency Designs compiler-based security countermeasures against instruction skip attacks Works on concurrent multi-node XCP proxy server architectures

• Electronic Design Automation
• Fault Injection Simulation
• RISC-V Processors
• +7 more

Zhenyu Chen is a Full Professor and Director of the iSE Laboratory at Nanjing University, specializing in AI-driven software testing methodologies. His research bridges artificial intelligence and software engineering with dual focus areas: leveraging AI to enhance testing processes ( AI for Testing ) and validating AI/ML systems ( Testing for AI ). His research interests center on deep learning framework testing , crowdsourced testing optimization , and Large Language Model applications in verification . Recent work demonstrates innovative approaches to metamorphic testing of neural networks, LLM-based test report analysis, and security hardening of code models against backdoors. Key contributions include the development of mooctest.com and frameworks like DevMuT for mutation testing of deep learning APIs. His publication trajectory reveals evolving focus from crowdsourced testing (2018-2020) to deep learning system validation (2021-2023) and current emphasis on LLM-powered testing solutions. Major venues include ASE, ICSE, and ISSTA where he serves regularly on program committees.

• AI for Testing
• Testing for AI
• Software Testing
• +3 more

Sam Malek is a Professor in the Department of Informatics at the University of California, Irvine's School of Information and Computer Sciences, where he directs the Software Engineering and Analysis Laboratory. Previously serving as Director of the Institute for Software Research (2018-2022), his academic leadership spans software engineering research and institutional management. His research centers on software engineering with specialized expertise in software analysis and testing , mobile computing , security , software architecture , and accessible computing . Malek's work consistently focuses on developing practical techniques and tools for constructing, analyzing, and maintaining large-scale software systems, with recent emphasis on accessibility challenges in mobile and web environments. His publication trends reveal a strategic shift toward accessible computing since 2020, where he pioneered frameworks like Ma11y for web accessibility testing and Groundhog for mobile app crawling. Earlier work established foundations in energy testing (2020), GUI input generation (2021), and architectural analysis, demonstrating methodological evolution from core software engineering to human-centered accessibility solutions. ACM SIGSOFT test-of-time award (2020) National Science Foundation CAREER award (2013) GMU Emerging Researcher/Scholar/Creator award (2013) GMU Computer Science Department Outstanding Faculty Research Award (2011) Malek serves on editorial boards for ACM Transactions on Software Engineering and Methodology and ACM Transactions on Autonomous and Adaptive Systems , while frequently acting as a software expert witness in intellectual property litigation. His research group actively recruits PhD students through UCI's Software Engineering PhD program, with current projects focusing on AI-driven accessibility solutions and mobile testing frameworks. The Software Engineering and Analysis Laboratory under his direction maintains strong industry connections through sponsored research and tool development, particularly in accessibility testing and mobile application quality assurance.

• Software Engineering
• Software Analysis and Testing
• Mobile Computing
• +3 more

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

• Programming Languages
• Type Systems
• Language-based Security
• +5 more

Olaf Spinczyk is a Professor in the Department of Computer Science 12 at Technische Universität Dortmund, leading the Embedded System Software Group. Previously, he held positions at Friedrich-Alexander-Universität Erlangen-Nürnberg and the University of Magdeburg. His research focuses on embedded systems, aspect-oriented programming, and operating system design. Affiliations: Technische Universität Dortmund: Head of Embedded System Software Group Former roles: University of Erlangen-Nürnberg (Dept. of Computer Science 4) and Magdeburg University Research Interests Spinczyk specializes in tailor-made operating systems , embedded systems , and aspect-oriented programming . His work emphasizes software product lines for embedded environments, fault tolerance, and energy-efficient system design. Key projects include: CiAO: Aspect-oriented OS product line AspectC++: AOP extension for C++ FAME-DBMS: Database management system family FAIL*: Fault-injection framework Recent Work Recent research explores energy-aware device drivers, cyber-physical system reliability, and virtualization strategies for industrial applications. He has contributed to frameworks like vGridLab for smart grid testing and PhyNetLab for IoT-based warehouses. Awards & Activities No explicit awards listed, but notable contributions include leadership roles in EuroSys and conference organization (e.g., PLOS workshops, AOSD tutorials). Active in academic service, including program committees for AOSD and MMB. Labs & Teams Leads the Embedded System Software Group at TU Dortmund, collaborating on projects involving automotive systems, real-time computing, and cloud federation strategies.

• Embedded Systems
• Aspect-Oriented Programming
• Operating Systems
• +3 more

Christian Dietrich is a Professor at Technische Universität Braunschweig, specializing in operating systems, real-time systems, and software dependability. Previously affiliated with Friedrich-Alexander-Universität Erlangen-Nürnberg and Leibniz Universität Hannover, he leads the Systems Research and Architecture (SRA) group. His research focuses on dependable embedded operating systems, fault tolerance, static analysis, and compiler optimization. He has contributed to projects like dOSEK, cHash, and MELF, addressing challenges in real-time scheduling, redundancy reduction, and variability management in system software. Education: PhD in Computer Science from Leibniz Universität Hannover (2019). Research Interests: Embedded systems dependability, real-time OS design, static/dynamic analysis, fault injection, and compiler-driven optimization. His work bridges theory and practice, with applications in automotive and safety-critical systems. Recent Work: Recent articles explore compiler caching efficiency (IRHash), memory management (HyperAlloc), and fault-space pruning for hardware fault injection. His work on cHash reduced redundant compilations by 80%, earning a USENIX ATC Best Paper Award. Awards: ECRTS 2018 Outstanding Paper, RTAS 2015 Best Paper, and multiple teaching accolades. Supervised over 30 theses, including topics like live patching, fault injection frameworks, and stack-sharing mechanisms. Lab/Team: Heads the SRA group, collaborating on projects like AHA (Hardware Abstraction), CLASSY-FI (fault injection), and CADOS (RTOS variability management). Active in conferences like OSDI, EuroSys, and RTSS.

• Operating Systems
• Real-Time Systems
• Embedded Systems
• +5 more