Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.
Caterina Urban is a Research Scientist (Chargé de Recherche) at INRIA and École Normale Supérieure (ENS) in Paris, France. She is a member of the INRIA research team ANTIQUE (ANalyse StaTIQUE), where she focuses on formal methods and static analysis. Prior to her current position, she was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. Dr. Urban holds a PhD in Computer Science (2015) from École Normale Supérieure, Paris, where she worked under the joint supervision of Radhia Cousot and Antoine Miné. She also earned a Master's degree (2011) and Bachelor's degree (2009) in Computer Science, both with full marks and honors (summa cum laude) from the Università degli Studi di Udine, Italy. Her research interests span the whole spectrum of formal methods with a focus on developing rigorous methods and tools to enhance the reliability of computer software, particularly data science applications. Her main area of expertise is static analysis based on abstract interpretation. Dr. Urban is currently engaged in several research projects including Lyra (focusing on data science software), Libra (fairness certification for neural networks), and SAIF (addressing safety concerns in machine learning-based systems). Dr. Urban's recent publications demonstrate her expertise in applying abstract interpretation to diverse areas including machine learning, data science, program verification, and security. Her work bridges theoretical foundations with practical applications, particularly in ensuring the reliability and trustworthiness of increasingly critical data science and machine learning systems. She has received recognition for her work through invitations to serve on program committees for major conferences including OOPSLA 2026, PLDI 2026, and CAV 2026. She is also the general chair of iFM 2025 in Paris. Dr. Urban actively mentors the next generation of researchers, supervising PhD students and postdoctoral researchers. She teaches courses on abstract interpretation and its applications at the Master Parisien de Recherche en Informatique (MPRI) and various international summer schools. She has developed several open-source software tools including Lyra (a static analyzer for data science applications), Libra (for fairness certification of neural networks), and Typpete (SMT-based static type inference for Python).
Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.
Chester Rebeiro is an Associate Professor at the Department of Computer Science and Engineering within the Indian Institute of Technology Madras . His work spans hardware and software security with a focus on cryptographic implementations and microarchitectural vulnerabilities. Research interests include hardware security, applied cryptography, side channel analysis, and operating system security. He develops frameworks for automatic vulnerability detection and mitigation in cryptographic systems. Editorial Board: Associate Editor at Journal of Hardware and Systems Security (Springer, 2021-2024) Conference Leadership: General Co-Chair for SPACE 2024, Program Co-Chair for ATS 2024, and Program Co-Chair for INDOCRYPT 2023 Professional Activities: Organizer of e-CTF Embedded Capture The Flag and contributor to cybersecurity workshops across India and abroad Scientific contributions highlight two major awards: a Distinguished Paper Award at USENIX Security 2024 and a Best Paper Award at IEEE HOST 2020. His research focuses on practical security solutions for processors and cryptographic systems. Advising includes mentoring 11 PhD students and 7 MS by Research candidates, with notable co-guided projects in fault attack detection and side-channel mitigation. He actively contributes to educational initiatives through courses on Secure Processor Microarchitecture and Operating Systems.
Dan Olteanu is a Professor of Computer Science at the University of Zurich (since 2020) and holds a part-time role as a Computer Scientist at RelationalAI. Previously, he was a Professor at the University of Oxford (2016–2020) and had visiting roles at UC Berkeley (2013–2014) and LogicBlox (consulting, 2013–2017). His research focuses on database systems, probabilistic data management, and theoretical foundations of data processing. Education: PhD in Computer Science from Ludwig Maximilian University of Munich (2005), Diplom (M.Sc.) from Polytechnic University of Bucharest (2000). Additional roles include Fellow and Director of IT at St Cross College, Oxford. Research Interests: Factorized databases (FDB), probabilistic databases (SPROUT, ENFrame), Datalog engines (RDFox), query optimization (Distributed Query Optimization), and machine learning over relational data. Publications highlight contributions to incremental query processing, probabilistic inference, and scalable algorithms. Notable work includes the SPROUT query engine, FDB system, and theoretical results on query tractability. Awards: Best Paper Award at ICDT 2019. Grants from ERC, EPSRC, Google, and industry partnerships with Amazon, Microsoft, and others. Students advised include Robert Fink, Maximilian Schleich, and Haozhe Zhang. Active in academic service, editing journals, and organizing conferences like BNCOD and SIGMOD workshops.
Akash Kumar is a Professor at Ruhr University Bochum, Germany, with affiliations to multiple institutions including TU Dresden and National University of Singapore. His research focuses on computer architecture, hardware acceleration, and approximate computing, with a strong emphasis on FPGA-based systems and neural network optimization. He has contributed extensively to embedded systems, mixed-criticality systems, and security in emerging technologies like reconfigurable nanodevices. His work spans cross-layer approximation methodologies, graph neural networks, and energy-efficient processing for edge AI. Collaborations with industry and academia highlight his leadership in VLSI design and secure hardware implementations. Notable contributions include frameworks for bounding time in mixed-criticality systems and resilient logic locking techniques. Research interests include hardware-software co-design, real-time systems, and efficient neural network architectures. His publications in top-tier conferences (DAC, DATE, FCCM) and journals (IEEE Trans. CAD, ACM TECS) underscore his impact in the field.
Heiko Falk is a Professor and Head of the Institute of Embedded Systems at Technische Universität Hamburg (TUHH). His roles include serving as Workshop Chair for the 2024 Embedded Systems Week (ESWEEK), Scientific Coordinator for the B.Sc. and M.Sc. Computer Science programs, and Deputy Head of the Board of Examiners for Computer Science and Engineering. His research focuses on real-time systems, compiler optimizations, and worst-case execution time (WCET) analysis. Key areas include multi-core architectures, cache management, energy efficiency, and hardware/software co-design. Falk's work emphasizes practical compiler techniques for improving real-time performance, such as WCET-aware memory allocation, dynamic SPM optimization, and event-driven scheduling. His publications analyze shared cache interference, preemptive/non-preemptive scheduling, and DMA-aware optimizations. Recent work explores multi-objective trade-offs between WCET, energy consumption, and code size in embedded systems. No scientific awards are explicitly listed, but his contributions to WCET benchmarking (e.g., haRTStone project) and compiler frameworks demonstrate significant impact in the field. Advising and grants: No formal advisees are listed in the provided texts. Falk's work is supported through projects like teamplay, focusing on cyber-physical systems optimization. Labs/Teams: His group operates within TUHH's Institute of Embedded Systems, collaborating on projects addressing real-time system challenges in multi-core environments.
Vivy Suhendra serves as Associate Professor of Practice and Programme Director for Master Programmes at the National University of Singapore's School of Computing, while also holding the position of Assistant Dean for Graduate Studies. Previously, she led the Singapore Cybersecurity Consortium (SGCSC) as Executive Director from 2016 to 2022, driving collaborative cybersecurity research between academia, industry, and government agencies. Her career at NUS spans over two decades, beginning as a Research Assistant before advancing to her current leadership roles. Her academic credentials include: Ph.D. in Computer Science, National University of Singapore (2009). Thesis: "Memory Optimizations for Time-predictable Embedded Software". Advisors: Abhik Roychoudhury and Tulika Mitra. B.Comp. (Honors) in Computer Science, National University of Singapore (2004). Dr. Suhendra's research integrates Software Assurance, Cybersecurity, Security and Privacy, and Embedded Systems domains. Her work bridges theoretical foundations with practical applications, particularly in national cybersecurity ecosystem development, smart grid security protocols, denial-of-service mitigation techniques, and real-time embedded system optimization. This interdisciplinary approach enables innovative solutions for critical infrastructure protection and time-predictable software execution in multi-core environments. Her 14 selected publications (2004-2020) demonstrate an evolving research trajectory from foundational embedded systems timing analysis to applied cybersecurity solutions. Early work focused on memory optimization for predictable execution in multi-core embedded systems, which naturally transitioned into cybersecurity applications for smart grids, cloud environments, and national infrastructure. This progression highlights her ability to translate low-level system expertise into high-impact security frameworks for complex real-world systems. Scientific recognition includes: Microsoft Research Asia Fellowship (2006) Valedictorian at NUS School of Computing Ph.D. Commencement (2010) While specific graduate student advising details aren't provided, her leadership as SGCSC Executive Director involved extensive mentorship across academic-industry partnerships. She has also contributed significantly to the research community through roles including Conference Chair for ESEC/FSE 2022 and Workshops Committee Member for ICSE 2024. Dr. Suhendra established the Singapore Cybersecurity Consortium as a national platform for collaborative R&D during her directorship (2016-2022). Though no personal laboratory is specified, her research leadership manifests through cross-institutional teams focused on cybersecurity innovation, particularly in critical infrastructure protection and embedded systems security where she maintains active publication records.
Florian Brandner is an Associate Professor at Télécom Paris , Institut Polytechnique de Paris, and a member of the AuTonomous Critical Embedded Systems (ACES) team within the Information Processing and Communication Laboratory (LTCI) . His research focuses on compiler backend optimization for embedded processors , especially VLIW architectures , in the context of real-time systems . He specializes in worst-case execution time (WCET) optimization , code generation techniques, register allocation, and dynamic binary translation. His work addresses challenges in identifying code paths critical for WCET and ensuring predictable behavior in embedded environments. Academic Appointments: Associate Professor (HDR) at Télécom Paris (2025–present); previous roles at COMPSYS team, ENS Lyon; Microsoft Research; Technical University of Denmark. Research Grants: Involved in projects like Designing Formally Verified Predictable Architectures (CEA 2023–2026), Collaborative Action on Timing Interferences (ANR 2022–2026), and Time-Predictable Cache Management (CEA 2016–2019). Scientific Awards: Outstanding Paper at ECRTS'25, Best Paper at RTNS'22, RTNS'20, SoftCOM'17, and RTNS'15. Patents: Co-inventor of Time-Division Multiplexing Methods (US Patent US20210397488A1, French Patent FR3087982B1). Recent Publications highlight advancements in formal verification for memory controllers (Real-Time Systems 2023), causality modeling in timing anomalies (STTT 2022), and context-sensitive cache analysis (Real-Time Systems 2022). His work spans real-time systems theory, practical compiler design, and hardware-software co-verification.
Philipp Weiss is a Researcher at the Technical University of Munich (TUM), affiliated with the Department of Electrical and Computer Engineering and the Chair of Embedded Systems and Internet of Things. Holding an M.Sc. degree, he actively contributes to research and teaching in embedded systems and IoT with a strong focus on automotive applications. His research spans Automotive Systems , Internet of Things (IoT) , Fail-Operational Systems , Reliability Analysis , Agent-Based Systems , and Distributed Systems . Weiss specializes in fail-operational automotive software design, dynamic agent-based mapping methods, and run-time reliability analysis, addressing critical challenges in autonomous vehicle safety and resilience through publications in DATE and DSD conferences. Analysis of his 2020-2021 publications reveals consistent focus on fail-operational architectures for automotive systems, with recurring themes in distributed agent-based modeling, timing analysis, and energy optimization within hybrid cloud environments. His work bridges theoretical reliability frameworks with practical automotive implementations. Weiss has supervised multiple Master's theses and final projects from 2019-2021 on topics including dynamic agent-based reliability analysis and fail-over timing for neural networks. As an educator, he serves as tutor for System Design for the Internet of Things and seminar manager for Advanced Seminar Embedded Systems and Internet of Things . Embedded within Prof. Sebastian Steinhorst's research team, Weiss contributes to major initiatives including Security for IoT and Autonomous Systems , Time-Sensitive Networking , and 6G Research Hub "6G-Life" , operating within TUM's IoT Remote Lab infrastructure for hands-on experimentation with industrial IoT systems.
Kartik Nagar is an Assistant Professor at the Department of Computer Science and Engineering, IIT Madras . He specializes in developing verification and analysis techniques to enhance the reliability, security, and efficiency of computer systems, focusing on concurrent and distributed systems, computer architecture, and real-time systems.
Federico Reghenzani is an Assistant Professor at Politecnico di Milano in the Department of Electronics, Information and Bioengineering. His research focuses on computer science, embedded systems, fault tolerance, high-performance computing, real-time systems, and compiler technology. He leads the HEAP Lab where his team investigates reliability engineering and hardware-software co-design for safety-critical applications. Reghenzani's research examines software-based approaches to hardware fault tolerance, compiler technologies for reliability enhancement, and resource management in high-performance computing environments. His work has significant applications in aerospace systems, real-time embedded platforms, and next-generation computing architectures. His publications demonstrate a consistent focus on improving system reliability through compiler techniques, fault injection methodologies, and hardware-software co-design. The research spans theoretical frameworks, practical implementations, and experimental validation across diverse computing environments.
Professor Daniel Axehill is affiliated with the Department of Electrical Engineering (ISY) at Linköping University, specializing in planning and optimization-based control for autonomous systems. His research bridges theoretical developments and industrial applications. His recent work focuses on robust motion planning for autonomous vehicles, optimal task and motion planning algorithms, execution-time analysis for model predictive control, and high-performance solvers for multi-parametric quadratic programming. Key methods include lattice-based planning, disturbance estimation, and real-time optimization. He contributes to the Wallenberg Autonomous Systems Program (WASP), collaborating on advancements in robotics, sensor fusion, and complex network control systems.
Nikolaos Samaras is a Full Professor at the Department of Applied Informatics, School of Information Sciences, University of Macedonia in Thessaloniki, Greece. He has been serving as director of the Computational Methodologies & Operations Research (CMOR) Laboratory since April 2016. His academic career includes positions as Assistant Professor (2007-2012) and Lecturer (2003-2007) at the same institution, and earlier as an adjacent Lecturer at the Technological Institute of Western Macedonia (1998-2000). Dr. Samaras earned his Diploma in Applied Informatics from the University of Macedonia in 1996 and his Ph.D. in Applied Informatics from the same university in 2001. His educational background forms the foundation for his extensive research in computational optimization and operations research. Professor Samaras's research focuses on the interface between computer science and operations research, with particular expertise in linear and nonlinear optimization, network optimization, integer optimization, and scientific computing including HPC and GPU programming. His work has resulted in the development of new algorithmic families for optimization problems, efficient GPU implementations of the revised simplex algorithm, and novel algorithms and software for operations research. His research spans theoretical algorithm development, practical implementation, and real-world applications across various engineering and scientific domains. His extensive publication record includes over 35 journal papers in prestigious venues such as Computers and Operations Research, European Journal of Operational Research, and Journal of Artificial Intelligence Research, more than 85 conference papers, and four textbooks (two in English and two in Greek). His work has been recognized through citations and the Thomson ISI/ASIS&T Citation Analysis Research Grant in 2005. ACM Senior Member (2016) Thomson ISI/ASIS&T Citation Analysis Research Grant (2005) Editorial board member of Operations Research: An International Journal Reviewer for numerous top journals including Mathematical Programming Computation and European Journal of Operational Research Professor Samaras has supervised four current Ph.D. students working on hybrid simplex algorithms, large-scale optimization using Apache Hadoop, algorithmic procedures in matrix theory, and smoothed complexity analysis. He has successfully guided five Ph.D. students to completion, including Nikolaos Ploskas who won the 2014 HELORS Doctoral Dissertation Award. Additionally, he has supervised 45 master's theses and 84 bachelor's theses. His research group has secured funding from diverse sources including the European Union, Greek Secretariat of Research and Technology, and industry partners like Veltio Greece LTD. The Computational Methodologies & Operations Research (CMOR) Laboratory, which he directs, focuses on developing and implementing optimization algorithms with applications in transportation, energy systems, and business process design. The lab has produced notable software tools including Euclides and Visual LinProg, which have educational applications in linear programming.
Amine Mhedhbi is an Assistant Professor at Polytechnique Montréal in the Department of Computer Engineering and Software Engineering. He is affiliated with the Institute for Data Valorization (IVADO) and the Software Engineering for Machine Learning Applications (SEMLA) group. His research focuses on data management systems, particularly graph-structured databases, multimodal data engineering, and AI-driven query optimization. Ph.D. in Computer Science from University of Waterloo Former technical advisor to enterprise companies Prior applied research leadership at Distyl AI and internships at Microsoft Research His recent work explores integrating large language models (LLMs) into database systems, optimizing SQL generation, and advancing graph database architectures. Key projects include GraphflowDB and FlockMTL , addressing scalability and declarative semantic applications. Scientific awards include: NSERC Discovery Grant with Discovery Launch Supplement (2025) Cheriton School Distinguished Dissertation Award (2024) Microsoft Research Ph.D. Fellowship (2020) VLDB Best Paper Award (2018) He supervises graduate students in database systems and machine learning applications and serves on program committees for top-tier conferences like VLDB and SIGMOD.
