Prof. Dr.-Ing. Hakan Kayal serves as University Professor for Aerospace Engineering at the University of Würzburg, holding the Chair of Computer Science VIII (Space Technology) and chairing the Interdisciplinary Research Center for Extraterrestrial Studies (IFEX). His leadership bridges computer science and space systems engineering within the university's Institute of Computer Science. Research focuses on three synergistic domains: nanosatellite development for extraterrestrial missions (including the SONATE-2 6U platform demonstrating AI-driven onboard processing), scientific investigation of Unidentified Anomalous Phenomena (UAP) through the university's collaboration with the Federal Aviation Office, and spacecraft autonomy systems enabling higher mission independence. Current projects include the NEAlight mission (extended to develop the Apophis Interceptor concept for the 2029 asteroid flyby), VaMEx3-MarsSymphony for Mars exploration, and JMU Space Observatory initiatives. Publication trends reveal strong emphasis on asteroid defense strategies (particularly for Apophis), CubeSat-based UAP detection methodologies, and real-time AI processing in constrained space environments. His team actively engages students through ADS-B tracking, Meteosat App development, and Moon Base 2030 projects, while recent recognition includes co-authoring a landmark UAP review in Progress in Aerospace Sciences with 33 international scientists.
Anthony Rollett is a Professor in the Department of Materials Science and Engineering at Carnegie Mellon University , where he has been a faculty member since 1995. He serves as the Principal Investigator and Co-Director of the NASA-supported Institute for Model-Based Qualification & Certification of Additive Manufacturing (IMQCAM) and co-director of the Next Manufacturing Center . Prior to CMU, he held leadership roles at Los Alamos National Laboratory (1991-1995). Education: Ph.D., Materials Engineering, Drexel University (1987) MA, Metallurgy and Materials Science, Cambridge University (1977) Research Interests: Rollett’s work focuses on microstructural evolution and microstructure-property relationships in 3D using experiments and simulations. His expertise spans additive manufacturing , metal 3D printing , materials for energy systems , grain growth , recrystallization , and stereology , with techniques like high-energy diffraction microscopy (HEDM) and dynamic x-ray radiography (DXR) . Scientific Contributions: He has over 320 peer-reviewed publications and an h-index >80 . His recent articles highlight machine learning for laser processing , fatigue analysis of additively manufactured alloys, and design optimization for heat exchangers in supercritical CO2 and solar thermal applications . Scientific Awards: Fellow of ASM International (1996) Fellow of the Institute of Physics (UK) (2004) Fellow of The Minerals, Metals & Materials Society (TMS) (2011) Cyril Stanley Smith Award (TMS, 2014) Member of Honor, French Metallurgical Society (2015) US Steel Professor (2017) Francqui International Professor (2020-2021) International FAME Award (2023) Leadership & Impact: Rollett co-led the development of a NASA Space Technology Research Institute for additive manufacturing and established a new master’s program in additive manufacturing (2018). His research group is funded by industry , federal agencies , and Pennsylvania state grants . He also serves on the Basic Energy Science Advisory Committee and Defense Programs Advisory Committee for the Department of Energy.
Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.
Professor Nagi Gebraeel serves as the Georgia Power Early Career Professor in the H. Milton Stewart School of Industrial and Systems Engineering at Georgia Institute of Technology, where his research integrates predictive analytics, machine learning, and optimization for industrial IoT applications. His work focuses on real-time equipment diagnostics, prognostics, and operational decision-making in critical infrastructure systems. Education: Ph.D. in Industrial Engineering (2003), Purdue University M.S. in Industrial Engineering (1998), Purdue University Research Focus: Dr. Gebraeel develops statistical learning algorithms for IoT-enabled maintenance, repair, and operations (MRO), with emphasis on federated learning frameworks for distributed fault diagnosis and cybersecurity protection against Industrial Control System (ICS) attacks. His research spans manufacturing, power generation, and deep space habitats through NASA's HOME Space Technology Research Institute, where he pioneers self-aware habitat systems. Recent work addresses data heterogeneity in high-consequence industrial environments using causal-informed analytics. Publication Trends: His 2024-2025 publications demonstrate a strong trajectory toward distributionally robust optimization for maintenance logistics, federated learning architectures for distributed fault diagnosis, and prognostics for complex systems like offshore wind farms and industrial robots. Key themes include handling imbalanced data in fault diagnosis, state-space representations for interdependent systems, and cybersecurity integration in manufacturing networks. Awards and Recognition: NSF CAREER Award (2007) SAE Aircraft Electrical Power System Recognition Award (2008) SAE Materials Modeling and Testing Recognition Award (2006) IEEE-AUTOTESTCON Certificate (2006) Fellow of the Institute of Industrial and Systems Engineers Advising and Funding: Dr. Gebraeel mentors doctoral students including Michael Ibrahim (2025 IISE Best Student Paper winner), Heraldo Rozas (now Assistant Professor at University of Chile), Ayush Mohanty, and Nazal Mohamed. He secured a $500,000 NSF grant in August 2025 for AI-driven cybersecurity in distributed manufacturing networks and leads NASA-funded research on deep space habitat systems. His work bridges academic research with industry applications through Georgia Tech's Strategic Energy Institute collaborations. Research Infrastructure: He directs the Analytics and Prognostics Systems laboratory at Georgia Tech's Manufacturing Institute and leads the Predictive Analytics and Intelligent Systems (PAIS) research group. Previously, he served as associate director of Georgia Tech's Strategic Energy Institute (2014-2019), fostering data science applications in energy systems.
Theo Damoulas is a Professor of Machine Learning at the University of Warwick with a joint appointment in the Department of Computer Science and Statistics. He is a Turing AI Fellow (2021-2026) through UK Research and Innovation, an ELLIS member, and a Visiting Professor at New York University's Center for Urban Science and Progress (CUSP). He founded and leads the Warwick Machine Learning Group and has directed major projects at The Alan Turing Institute including Project Odysseus and the London Air Quality project. Education includes: PhD in Probabilistic Multiple Kernel Learning (University of Glasgow, 2009) MSc in Informatics (Distinction, University of Edinburgh, 2004) MEng in Mechanical Engineering (1st Class, University of Manchester, 2003) His research focuses on probabilistic machine learning and Bayesian statistics, emphasizing the integration of structural priors, spatiotemporal dependencies, physical laws, and causal relationships. Key applications include Digital Twins, urban science, and computational sustainability. His work advances robust and scalable inference methodologies for complex real-world systems. Publications demonstrate strong emphasis on Bayesian methods, spatiotemporal modeling, and uncertainty quantification, with applications spanning battery modeling, urban mobility, federated learning, and causal inference. Recent work shows increased focus on physics-informed models, federated learning frameworks, and causal abstraction techniques. Major scientific awards: Turing AI Acceleration Fellowship (2021-2026) Best Paper Awards (Wilkes 2024, AISTATS 2022, IEEE ICMLA 2010) ACM SIGMOD Most Reproducible Paper (2017) Dissertation Award (Classification Society 2012) Teaching Excellence nominations (Warwick 2015-2017) He actively advises PhD students and secured significant grants including the £multi-million Turing AI Fellowship. Current doctoral researchers investigate federated learning, causal inference, and spatiotemporal modeling. He leads the Warwick Machine Learning Group, a cross-departmental team developing foundational ML methods for scientific and societal challenges.
Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.
Olga Saukh is an Associate Professor at the Institute of Technical Informatics, Graz University of Technology (TU Graz), and a Faculty member at the Complexity Science Hub Vienna (CSH). She leads the Embedded Learning and Sensing Systems research group, which operates across both institutions, focusing on the design and deployment of efficient AI-based systems on edge and mobile platforms. Her work bridges deep learning and embedded systems, with applications in environmental monitoring, precision agriculture, and digital health. Ph.D. in Computer Science, University of Bonn (2009) Habilitation in Embedded Systems, TU Graz (2020) Postdoctoral Training, ETH Zurich (2010–2016) B.Sc. in Applied Mathematics, Taras Shevchenko National University of Kyiv (2002) M.Sc. in Applied Computer Science, University of Freiburg (2004) Her research centers on efficient machine learning, particularly model optimization, neural network pruning, and contrastive learning for resource-constrained devices. She is deeply engaged in solving real-world challenges in IoT, sensor networks, and cyber-physical systems. Her work emphasizes data privacy, sustainability, and practical deployment of AI at the edge. The 15 most recent publications highlight a strong trend in efficient deep learning, including model compression, pruning, and transfer learning, applied to diverse domains such as environmental sensing (air quality, pollution tracking), digital agriculture (cattle farming), and embedded AI (sensor calibration, on-demand sensing). Her work frequently appears in top-tier venues like NeurIPS, ICLR, and IEEE/ACM IPSN, reflecting her leadership at the intersection of machine learning and embedded systems. Scientific awards include: CONET Ph.D. Academic Award (2010) Multiple Best Paper Awards at IEEE PerCom, ACM/IEEE IPSN, IEEE ICPADS, IEEE SECON, and UrbCom Spotlight and Oral presentations at ICML and CoLLAs workshops Ph.D. scholarship from IPVS, University of Stuttgart (2004–2005) Prizes in Ukrainian national mathematics competitions (1996–1998) Olga Saukh actively serves on program committees of leading international conferences in machine learning and embedded systems. She has advised multiple students and leads a collaborative research group spanning TU Graz and CSH Vienna. Her group develops practical AI systems for real-world deployment, with a focus on sustainability and privacy. She co-organizes the public EfficientML reading group and has secured recognition through numerous grants and awards. Her future work continues to explore the theoretical and practical challenges of deploying efficient, trustworthy AI in mobile and embedded environments. Her research group, Embedded Learning and Sensing Systems, operates jointly between TU Graz and CSH Vienna, fostering interdisciplinary collaboration across institutions. The team develops AI solutions for edge computing, sensor networks, and cyber-physical systems, with a strong emphasis on environmental sustainability and data privacy. Members work on joint challenges using advanced collaboration tools, reflecting the distributed nature of modern academic research.
Prof. Hayden Kwok Hay SO is an Associate Professor at the University of Hong Kong (HKU), affiliated with the Department of Electrical and Electronic Engineering. He currently serves as Acting Director of the School of Innovation and previously co-directed the Computer Engineering Program. His research focuses on reconfigurable computing systems, FPGA-based architectures, and their applications in AIoT, medical imaging, and high-performance computing. He holds a B.S., M.S., and Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley (1998–2007). Prof. So has been recognized with awards such as the IEEE-HKN Teaching Award (2021), Croucher Innovation Award (2013), and multiple teaching excellence awards. He leads the Computer Architecture & System Research Lab (CASR) and co-founded the Joint Lab on Future Cities (JLFC). His work spans FPGA overlay architectures, graph processing systems, and hardware-software co-design for efficient computing. Key research contributions include advancements in FPGA-based reconfigurable systems, sparse dataflow architectures, and medical imaging accelerators. He has secured grants for projects like 'Advanced machine vision guided aquatic surface vehicles' and 'Efficient and Productive Parallel Data Processing in Hybrid FPGA-CPU Clusters.' Prof. So has advised numerous students and researchers, contributing to over 150 peer-reviewed publications. His current projects explore AI hardware acceleration, neuromorphic computing, and FPGA-driven solutions for big data challenges.
Dr. Nanpeng Yu is a Full Professor at the University of California, Riverside , serving as Vice Chair and Graduate Advisor in the Department of Electrical and Computer Engineering . He maintains cooperative faculty affiliations with the Department of Computer Science and Department of Statistics , and directs the Energy, Economics, and Environment Research Center at UCR. Education : B.S. in Electrical Engineering from Tsinghua University (2006), M.S. in Electrical Engineering and Economics, and Ph.D. from Iowa State University (2010) Prior Industry Experience : Senior Power System Planner and Project Manager at Southern California Edison (2011-2014) Dr. Yu’s research bridges smart grid technologies , data-driven optimization , and machine learning for energy systems. Key areas include voltage control , renewable energy integration , transportation electrification , and grid resilience . His recent work focuses on physics-informed graph learning for unit commitment problems and adversarial purification in power system classifiers. The AI-Energy Nexus Laboratory under Dr. Yu has produced impactful publications in Applied Energy , IEEE Transactions on Power Systems , and Transportation Research series, covering topics like heavy-duty EV charging infrastructure and dynamic distribution network reconfiguration . Lab members have won the American-Made Digitizing Utilities Grand Prize ($300,000) from the U.S. DOE. Leadership Roles : Chair, IEEE Power and Energy Society Distribution System Operation and Planning Subcommittee Chair, IEEE Power and Energy Society Working Group on Data-Driven Modeling for Power Distribution Networks Associate Editor, IEEE Transactions on Smart Grid and IEEE Power Engineering Letters Scientific Awards : Regents Faculty Fellowship Regents Faculty Development Award Multiple IEEE Best Paper Awards
Ferdinando Fioretto is an Assistant Professor of Computer Science at the University of Virginia, leading the Responsible AI for Science and Engineering (RAISE) group. His research focuses on foundational challenges in AI, privacy, fairness, and the intersection of machine learning and optimization. He holds a dual PhD in Computer Science from the University of Udine and New Mexico State University. Affiliations: University of Virginia (current), Syracuse University (former), Georgia Institute of Technology (postdoc), University of Michigan (research fellow) Education: PhD (Udine & NMSU), B.S. (University of Parma) Research Interests: Machine Learning, Responsible AI, Optimization, Differential Privacy, Algorithmic Fairness. His work emphasizes practical applications in energy systems, court scheduling, and privacy-preserving machine learning. Recent projects include neuro-symbolic diffusion models, fairness-aware optimization, and privacy guarantees in LLMs. Grants & Funding: NSF CAREER Award, Google Faculty Research Award, Amazon Research Award, NVIDIA Academic Grant, and grants from the LaCross Institute and 4-VA. His group collaborates with institutions like George Mason University and Virginia Tech. Key Awards: NSF CAREER (2022), IJCAI Early Career Spotlight (2022), Caspar Bowden PET Award (2022), ACP Early Career Researcher Award (2021) Labs/Teams: RAISE group at UVA, focused on trustworthy AI, fair optimization, and privacy-preserving systems. Active in organizing workshops like NeurIPS Algorithmic Fairness and AAAI Privacy-Preserving AI.
Paolo Gardoni is the Alfredo H. Ang Family Professor and an Excellence Faculty Scholar in the Department of Civil and Environmental Engineering at the University of Illinois Urbana-Champaign, with additional professorial appointments in Industrial & Enterprise Systems Engineering and Biomedical & Translational Sciences. He also serves as Director of the MAE Center and Editor-in-Chief of Reliability Engineering & System Safety. Education Ph.D. in Civil Engineering, University of California, Berkeley (2002) M.A. in Statistics, University of California, Berkeley (2001) M.Eng. in Structural Engineering, University of Tokyo (1997) Laurea (BS+MS equivalent) in Structural Engineering, Politecnico di Milano (1997) Research Interests Gardoni’s scholarship integrates probabilistic methods with large-scale infrastructure systems to advance reliability, risk, and life-cycle analysis. His work quantifies the performance of deteriorating systems under natural and anthropogenic hazards, models societal impacts of disasters, and develops decision frameworks for sustainable and resilient infrastructure. He also examines ethical, social, and legal dimensions of risk, and investigates optimal strategies for hazard mitigation, disaster recovery, and climate adaptation. Across more than 250 refereed journal papers, he has advanced sub-fields ranging from probabilistic mechanics and earthquake engineering to catastrophe bond pricing and engineering ethics, leveraging tools such as stochastic differential equations, Bayesian networks, and physics-informed machine learning. Awards & Honors Alfredo Ang Award on Risk Analysis and Management of Civil Infrastructure (ASCE, 2021) Best Paper Awards in ASCE Journal of Sustainable Water in the Built Environment (2019) and Geotechnical Research (2018 Telford Premium Prize) Fellowships and named professorships: Alfredo H. Ang Family Professor, Excellence Faculty Scholar, and courtesy or honorary professorships at Tsinghua, IIT Guwahati, Tongji, Jianghan, and Loughborough universities. Research Leadership & Funding Gardoni has secured over $58 million in research funding from NSF, DHS, NIST, USAID, Qatar National Research Fund, and other agencies. He directs the MAE Center—formerly an NSF Engineering Research Center—focused on multi-hazard engineering approaches, and is Editor-in-Chief of Reliability Engineering & System Safety (Elsevier, IF 9.4). He founded and formerly led the journal Sustainable and Resilient Infrastructure (Taylor & Francis) and serves on editorial boards of nine additional journals. Advising & Mentorship He has graduated 27 PhD and 35 Master’s students, many of whom now hold faculty positions worldwide. His group maintains an active pipeline of doctoral and post-doctoral researchers working on resilience analytics, infrastructure monitoring, and risk-informed decision-making. Laboratories & Collaborations He leads the MAE Center and is affiliated with the Critical Infrastructure Resilience Institute (CIRI) and the Biomedical and Translational Sciences group. International collaborations span the UK (Loughborough), India (IIT Guwahati), and China (Tsinghua, Tongji, Jianghan), fostering cross-disciplinary research in reliability and resilience engineering.
Dhruv Jain is an Assistant Professor in the Computer Science and Engineering Department at the University of Michigan , with affiliations in the School of Information and Michigan Medicine . He leads the Soundability Lab , focusing on transforming hearing into a programmable interface through human-centered AI systems. PhD from University of Washington MS from MIT Media Lab Formerly worked at Microsoft Research, Google, and Apple Research Interests intersect Human-Computer Interaction (HCI) , Audio AI , Accessibility , and Hearing Health . His work develops systems like SoundWatch (smartwatch-based sound awareness) and HomeSound (IoT sound visualization) to expand auditory access for DHH individuals and other domains. Recent Publications (2023–2025) span top venues like CHI , ASSETS , and ICMI , with trends including generative AI for real-time captioning , adaptive soundscapes , and clinical communication tools . SIGCHI Outstanding Dissertation Award (2023) William Chan Memorial Dissertation Award (2023) Best Poster Award at ASSETS 2024 Google Academic Research Award (2024) NIH Grant ($450k, 2023) William Demant Foundation Grant ($740k, 2025) Teaching includes Accessible Computing (undergraduate) and Advanced Accessibility (graduate), alongside global DIY workshops in five countries. The Soundability Lab collaborates with neuroscientists, clinicians, and Deaf scholars to create deployable systems like clinical communication tools now at Michigan Medicine and features integrated into Apple devices.
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
Peter K. Kitanidis is a Professor in the Department of Civil and Environmental Engineering and the Institute for Computational and Mathematical Engineering at Stanford University . His research focuses on groundwater flow , hydrologic forecasting , and stochastic inverse modeling , with applications to pollutant remediation and CO₂ storage monitoring . Education : Diploma, National Technical University of Athens (1974) M.S., MIT (1976) Ph.D., MIT (1978) Research Interests : Groundwater modeling and contaminant transport Hydraulic tomography and aquifer characterization Stochastic methods for uncertainty quantification Bioremediation and enhanced in-situ pollutant decay Dilution and mixing processes in heterogeneous media Real-time river flow forecasting Scientific Awards : L.G. Straub Award (1979) W.L. Huber Research Prize (1994) ISI Highly Cited Researcher (2001) AGU Hydrologic Sciences Award (2011) ASCE Pioneers in Groundwater Lecturer (2011) Advising and Grants : Advised 20+ PhD and MS students (1978–2018) Principal investigator on NSF, EPA, and DOE-funded projects Developed software for groundwater data analysis and CO₂ monitoring Contributed to bioremediation protocols and hydraulic tomography algorithms Labs and Teams : Kitanidis Laboratory for groundwater crisis solutions Collaborated with Oak Ridge National Laboratory and Stanford Hydrogeology Group Mentored postdocs (2000–2017) in reactive transport and inverse modeling
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
