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.
جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۴۶-۶۰ از ۹٬۴۹۲ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
Allison Koeneckeمشاهده پروفایل
استادیار
Allison Koenecke is an Assistant Professor of Information Science at Cornell Tech and a field faculty member in Computer Science at Cornell University. Previously, she was a postdoctoral researcher at Microsoft Research New England and completed her PhD at Stanford University’s Institute for Computational & Mathematical Engineering. Her research focuses on algorithmic fairness, computational social science, and causal inference in public health, addressing disparities in automated systems like speech recognition and policy decision-making. Education : PhD, Stanford Institute for Computational & Mathematical Engineering MA/MS, Stanford University BA/BS, Massachusetts Institute of Technology Research Interests : Dr. Koenecke’s work bridges economics and computer science, emphasizing equity in AI systems. Key areas include: Algorithmic bias in speech recognition (e.g., racial disparities in voice assistants) Fairness in policy tools like environmental justice data systems Causal analysis in public health interventions Ethical implications of large language models in education Media & Impact : Her research has been featured in outlets like New York Times , Science , and Scientific American . Notable studies include exposing racial gaps in speech-to-text systems and advocating for inclusive dataset development. She also explores societal impacts of AI in education and governance. Awards : Sloan Research Fellow in Computer Science Forbes 30 Under 30 in Science NSF Awards Cornell CIS Teaching Excellence Award (2024) Teaching & Outreach : She teaches courses like Designing Fair Algorithms and Data Science for Global Development , emphasizing interdisciplinary collaboration. Her PhD Professionalization course addresses hidden curricula in academia. She advises on AI ethics for nonprofits, tech companies, and government agencies.
Professor Sara Baker is a Professor of Developmental Psychology and Education at the University of Cambridge's Faculty of Education and a Fellow at Darwin College, where she served as Vice Master from 2021-2024. She is also a 2022 Senior Fellow in the Science of Learning with UNESCO-IBE/IBRO. Her work bridges cognitive science and educational practice, focusing on how children develop executive functions and self-regulation skills. Baker leads the Early Years Library project, co-founded the Research Centre for Play in Education, Development and Learning (PEDAL), and is a founding member of the Global Executive Functions Initiative. Sara Baker specializes in the science of learning, with research aimed at improving children's lives by identifying factors at home and school that support their agency over learning. Her work emphasizes developing executive functions and self-regulation through playful learning approaches. She uses lab-based experiments and collaborates with educators to translate cognitive science research into educational contexts. Her research spans multiple countries including the UK, USA, Mexico, Denmark, Slovakia, South Korea, Ghana, Rwanda, Nigeria, Kenya, South Africa, and more, reflecting a strong commitment to culturally relevant and globally applicable educational practices. Analysis of Professor Baker's recent publications reveals a strong focus on executive functions, self-regulation, and playful learning across diverse cultural contexts. Her work increasingly addresses cultural adaptation of assessment tools and educational practices, particularly for Global Majority countries. There's a clear trajectory from basic cognitive research toward practical applications in educational settings, with growing emphasis on teacher training, culturally relevant assessment, and the role of play in early childhood development. Her interdisciplinary approach connects developmental psychology, educational theory, and practical classroom applications. 2022 Senior Fellow in the Science of Learning with UNESCO-IBE/IBRO Professor Baker leads the doctoral program in the Faculty of Education and serves as an Academic Project Director in the School of Humanities and Social Sciences. She is the Cambridge academic lead on the Close the Gap partnership between Cambridge and Oxford, focused on postgraduate widening participation. Her research has been funded by prestigious organizations including the Newton Trust, Cambridge Humanities Research Grant, Economic and Social Research Council, LEGO Foundation, Nuffield Foundation, and Office for Students/Research England. She actively supervises doctoral students and seeks highly motivated candidates for October 2026 entry whose research aligns with her focus areas. Professor Baker co-founded and is actively involved with the Research Centre for Play in Education, Development and Learning (PEDAL), which investigates how children's play affects their development. She leads the Early Years Library project, a curated collection of evidence-based practices for early years educators, and is a founding member of the Global Executive Functions Initiative. Her work with the Connections international professional learning network focuses on self-regulation, while the Close the Gap project addresses widening participation in postgraduate education between Oxford and Cambridge.
Eric V. Mazumdarمشاهده پروفایل
استادیار
- Machine Learning
- Economics
- Optimization
- +۴ مورد دیگر
Eric V. Mazumdar is an Assistant Professor at the California Institute of Technology (Caltech), jointly appointed in the departments of Computing and Mathematical Sciences and Economics. He holds a B.S. from MIT (2015) and a Ph.D. from UC Berkeley (2021), co-advised by Michael Jordan and Shankar Sastry. His research bridges machine learning and economics, focusing on deploying algorithms into societal systems through theoretical and practical lenses. Key areas include strategic classification, multi-agent reinforcement learning, and distributionally robust optimization, with applications in healthcare, online markets, and intelligent infrastructure. Education: B.S., Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2015 Ph.D., Electrical Engineering and Computer Science, University of California, Berkeley, 2021 Research Interests: Mazumdar’s work emphasizes understanding learning algorithms in strategic environments, including min-max optimization, game theory, and multi-agent systems. He explores how algorithms interact with human and algorithmic agents in dynamic systems, with practical applications in healthcare delivery, e-commerce, and autonomous systems testing. Awards: NSF CAREER Award (2023) Simons Institute Research Fellowship in Learning in Games Grants & Funding: Supported by NSF, DARPA, Amazon, and other organizations. His NSF CAREER grant focuses on strategic interactions in societal-scale systems. Teaching: Courses include Networks: Structure & Economics (CMS/CS/EE/IDS 144) and Topics in Learning and Games (CMS/Ec 248). At UC Berkeley, he contributed to courses like Data, Inference, and Decisions (DS 102). Students & Postdocs: Current students: Lauren Conger, Tinashe Handina, Yizhou Zhang Postdocs: Zaiwei Chen, Laixi Shi, Kishan Panaganti (co-advised with Adam Wierman)
- Control of nonlinear systems
- Control of distributed parameter systems
- Nonlinear oscillations
- +۷ مورد دیگر
Joseph Bentsman is a Professor in the Department of Mechanical Science and Engineering at the University of Illinois at Urbana-Champaign's Grainger College of Engineering. He also holds affiliate appointments in the Department of Aerospace Engineering (since 2015) and the Department of Electrical and Computer Engineering (since 2018). His academic journey began with an M.S. from Byelorussian Polytechnic Institute in Minsk, USSR (1979), followed by a Ph.D. in Electrical Engineering from Illinois Institute of Technology (1984). Professor Bentsman's research focuses on control of nonlinear and distributed parameter systems, nonlinear oscillations, network control, stability theory, and stochastic multiscale methods. He pioneered a new class of dynamical systems with active singularities that admit control actions during singular phases of motion, which represent a novel category of hybrid systems characterized by impulsively controlled discrete transitions. His recent work has expanded into biomedical applications, particularly thermophysical modeling of tissue during electrosurgery and control of phase change processes. His recent publications (2021-2024) reveal a strong trend toward biomedical applications of control theory, particularly in modeling heat conduction in biological tissues, electrosurgical processes, and phase change phenomena. Approximately 60% of his recent work focuses on biomedical applications, while the remainder continues his foundational work on nonlinear control systems, distributed parameter systems, and systems with active singularities. Key subfields include Stefan problems, enthalpy-based control, telegraph equation modeling, and PDE-based control of complex physical processes. NSF Presidential Young Investigator Award (1989) Life Fellow of American Society of Mechanical Engineers Life Senior Member of IEEE IEEE Control Systems Society Technical Committee Chair on Power Generation (2015-2019) International Society of Automation POWID Achievement Award (2014) 2018 AIST Computer Applications Best Paper Award Featured in 'People in Control', IEEE Control Systems Magazine (2018) Professor Bentsman has been instrumental in developing educational approaches that integrate signal processing, instrumentation, control, and machine learning, as evidenced by his two textbooks. His work on the steel continuous casting process, particularly the mold oscillation system, has led to practical industrial applications. He has also made significant contributions to power plant control systems and boiler/turbine control. His research group appears to focus on both theoretical control systems development and practical implementation in industrial and biomedical settings, with strong connections to steel manufacturing, power generation, and medical device industries.
Vicente Talanquer is a University Distinguished Professor in the Department of Chemistry and Biochemistry at the University of Arizona, College of Science. His academic journey includes a B.S., M.A., and Ph.D. in Chemistry from the Universidad Nacional Autónoma de México (UNAM), followed by postdoctoral research at the University of Chicago's James Frank Institute. He has held various academic roles, including Professor and Associate Professor at UNAM before joining the University of Arizona in 2000. His research focuses on chemistry education, particularly student reasoning, assessment, and the development of chemical thinking. Key areas include understanding how students conceptualize chemical reactions, design learning progressions, and improve formative assessment strategies. He has led initiatives such as the Instructional-Teams Model to enhance teaching practices in STEM courses. Dr. Talanquer has received numerous awards, including the ACS Award for Achievement in Research (2021) and Arizona Professor of the Year (2015). He actively contributes to national and international educational committees, editorial boards, and professional societies such as the American Chemical Society and NARST. His work emphasizes curriculum innovation, teacher preparation, and fostering equity in science education. His research is supported by grants from the National Science Foundation and the UA Provost Investment Fund, focusing on active learning, large-enrollment course redesign, and systems thinking approaches. Talanquer's publications span over 200 peer-reviewed articles, textbooks, and educational resources in chemistry education, reflecting his commitment to advancing both research and practice in the field.
- Remote sensing and Earth observation
- Signal processing
- Artificial intelligence and machine learning
- +۳ مورد دیگر
Xiaoxiang Zhu is a Professor for Data Science in Earth Observation at the Technical University of Munich (TUM) and serves as the Director of the International AI Future Lab - AI4EO. She is also on the Board of Directors of the Munich Data Science Institute (MDSI) and has held various leadership positions in research institutions including as Spokesperson for Helmholtz AI Research Field "Aeronautics, Space and Transport" (MASTr). Her educational background includes a doctorate (Dr.-Ing.) and habilitation from TUM. She has held positions as Private Dozent at TUM (2013-2015), TUM Junior Fellow (2013-2015), and Research Group Leader for "SparsEO" at Munich Aerospace (2011-2016). Professor Zhu's research focuses on the intersection of remote sensing, artificial intelligence, and data science. Her work primarily addresses global urban mapping, sustainable development goals, and climate change monitoring through Earth observation technologies. She develops advanced signal processing techniques and machine learning algorithms specifically tailored for satellite imagery and geospatial data analysis. Her research has significant applications in urban planning, environmental monitoring, and disaster management. Her team has pioneered approaches that combine synthetic aperture radar (SAR) with deep learning for improved Earth observation capabilities. Professor Zhu has received numerous prestigious awards including being named an IEEE Fellow (2021), receiving the Geodesy Award of the Nico Rüpke Foundation (2020), and being awarded an ERC Proof of Concept Grant (2020, 2022). She is also a Fellow of the Academia Europaea (2024) and AAIA Fellow (2024). Her publication record includes highly cited works such as "Deep Learning in Remote Sensing: A Comprehensive Review and List of Resources" (2017). She leads a substantial research team comprising numerous PhD students and postdoctoral researchers working on various projects including Horizon Europe - ThinkingEarth, EarthCare, and AI4TWINNING. Her research group, the Chair of Data Science in Earth Observation, is actively involved in multiple large-scale European and German research initiatives focused on Earth observation and AI applications.
Professor Emily So serves as Deputy Head of the School of Arts and Humanities at the University of Cambridge and directs the Cambridge University Centre for Risk in the Built Environment (CURBE). A chartered civil engineer with extensive field experience, she holds leadership roles in the Open-Oxford-Cambridge AHRC Doctoral Training Partnership and chairs the Faculty EDI Committee. Her research focuses on urban risk and resilience , particularly in earthquake-prone regions. Combining structural engineering with epidemiological approaches, she develops innovative casualty estimation models and engages directly with affected communities worldwide. Her work spans seismic safety, disaster epidemiology, and remote sensing applications for rapid damage assessment. Professor So's publication trends reveal strong emphasis on machine learning for disaster risk modeling , with recent work featuring graph neural networks, deep clustering for urban morphology, and LSTM-based population forecasting. Her research bridges engineering, social sciences, and data science to address resilience in developing nations. 2010 Shah Family Innovation Prize (Earthquake Engineering Research Institute) Fellow of the Institution of Civil Engineers (FICE) Scientific Advisory Group for Emergencies (SAGE) member advising UK government As Director of CURBE, she leads interdisciplinary collaborations with EEFIT, Global Earthquake Model (GEM), World Bank, and USGS. Her field investigations following major earthquakes inform practical solutions for vulnerable communities, notably contributing to the 2017 World Building of the Year design in China. Current work includes sabbatical research for 2025-2026 focused on decolonizing architectural approaches to disaster resilience. Professor So maintains active roles in professional organizations and international disaster response frameworks, with her CURBE team developing methodologies now implemented globally for seismic safety improvements.
Zhu Lailaiمشاهده پروفایل
استادیار
Dr. Zhu Lailai serves as Assistant Professor in the Department of Mechanical Engineering at the National University of Singapore (NUS), appointed in January 2020. His research bridges fundamental fluid mechanics with cutting-edge engineering applications through computational and theoretical approaches. Dr. Zhu holds a PhD from KTH Royal Institute of Technology (Sweden) and completed postdoctoral training at Princeton University. His research program centers on: Low-Reynolds-number fluid-structure interactions and bio-inspired adaptive systems Active matter dynamics (Janus colloids, active droplets, flagella/cilia) Intelligent fluids integrating machine learning for fluid dynamics Microrobotics with reinforcement learning-based chemotactic navigation Non-Newtonian/multiphase flows and microfluidics applications Analysis of his 2017-2025 publications reveals a clear trajectory toward AI-enhanced fluid mechanics, evolving from foundational theoretical models to machine learning integration. Recent work emphasizes foundation models for fluid dynamics prediction and topology-adaptive microrobotic navigation, demonstrating interdisciplinary convergence of physics, AI, and bionics. Scientific Awards: No major scientific awards specified in source materials Advising and Grants: While specific advisees and grants aren't detailed, his active publication record across high-impact journals (Nature Communications, Journal of Fluid Mechanics) indicates ongoing supervised research and likely grant funding through NUS and collaborative projects. Research Group: Dr. Zhu leads a computational/theoretical research team at NUS investigating active and intelligent fluids, with current projects on PCM thermal systems, microrobotic navigation, and active matter phase transitions, collaborating with experimentalists globally.
Gavin McNicolمشاهده پروفایل
استادیار
Gavin McNicol is an Assistant Professor in the Department of Earth and Environmental Sciences at the University of Illinois at Chicago (UIC). His research focuses on soil biogeochemistry and its connection to Earth’s climate system, particularly methane emissions from wetlands, temperate rainforests, and waste systems. He employs field measurements, laboratory experiments, and data science to study greenhouse gas dynamics across scales. McNicol teaches courses on data science (EAES 420) and climate-ecosystem interactions (EAES 579). His work integrates machine learning with satellite remote sensing to monitor global wetland methane emissions. Key collaborations include FLUXNET-CH4, CRMRCN, and the SOIL NGO in Haiti. McNicol holds a BS from the University of Stirling (2010) and a PhD from UC Berkeley (2016). Research interests span wetland methane budgets, carbon cycling in coastal ecosystems, and climate impacts of sanitation systems. He has secured grants from NASA, DOE, and NSF, totaling over $87,000. His team, the McNicol Lab, emphasizes interdisciplinary approaches combining fieldwork, lab analysis, and computational modeling. Recent publications (2023–2025) address global methane upscaling, tropical wetland monitoring gaps, and boreal-Arctic methane feedbacks. McNicol’s work bridges local measurements to global climate models, with applications in climate change mitigation and sustainable development.
Richard E. Turner is a Professor of Machine Learning at the University of Cambridge's Department of Engineering and Research Lead for AI for Weather Prediction at the Alan Turing Institute. He serves as Cambridge Lead for the EPSRC Probabilistic AI Hub and previously held roles including Visiting Researcher at Microsoft Research, Co-Director of the AI4ER CDT, and Course Director for the Machine Learning and Machine Intelligence MPhil program. Current research focuses on probabilistic machine learning fundamentals, environmental prediction (weather/climate), and spatio-temporal modeling combining deep learning with Bayesian methods Supervised 26 PhD students (13 graduated) and 7 research assistants/associates Secured over £30M in research funding from EPSRC, Microsoft, Toyota, Google, DeepMind, Amazon, and Improbable Featured in BBC Radio 5 Live's The Naked Scientist, BBC World Service's Click, and Wired Magazine His recent publications demonstrate expertise in diffusion models for PDE simulations, Gaussian Processes for environmental applications, and Bayesian methods for spatio-temporal forecasting. Key trends include climate modeling using ML, neural PDE solvers, and scalable probabilistic inference. Awards : Cambridge Students' Union Teaching Award for Lecturing; supervised Qualcomm Innovation Fellowship winner Collaborations : Microsoft Research (AI4Science), Alan Turing Institute, EPSRC Probabilistic AI Hub Turner leads the Turner Group within Cambridge's Machine Learning Group, focusing on uncertainty-aware ML for scientific applications. Current research assistants work on topics like meta-learning, Bayesian inference, and climate science applications.
Giulio Jacucci is a Professor in the Department of Computer Science at the University of Helsinki, affiliated with the Helsinki Information Technology Research Institute. He serves as a Supervisor in the Doctoral Programme in Computer Science, mentoring PhD candidates in human-computer interaction and related fields. His academic career spans over two decades with continuous research productivity from 2006 through 2025. Professor Jacucci's research interests center on Human-Computer Interaction , particularly focusing on Virtual Reality , Brain-Computer Interfaces , and Neuroadaptive Systems . His work explores how technology can adapt to users' cognitive and physiological states, with significant contributions to social virtual reality environments, embodied agents, and information retrieval systems. He investigates how virtual representations affect social behavior, time perception, and communication in digital spaces. His publication record shows a clear evolution from foundational work in information retrieval toward increasingly sophisticated neuroadaptive systems. Recent publications (2024-2025) demonstrate his leadership in examining social dynamics within virtual reality platforms, including votekicking mechanisms, mirror watching behaviors, and communication tools like mutes. His work bridges technical innovation with deep understanding of human social behavior in digital environments. Professor Jacucci currently leads multiple research projects funded by the Academy of Finland, including DataLit: Datalukutaito ja vastuullinen päätöksenteko (2023-2026) and MyModel: Selitettävyys suositusten hallinnassa (2023-2027). These projects focus on data literacy, responsible decision-making, and explainability in recommendation systems, reflecting his commitment to ethical and user-centered technology development. His research has received media attention, particularly around brain-computer interfaces and virtual reality applications, with coverage in outlets discussing how deep learning transforms mobile applications and sensor landscapes. He has presented his work at major conferences including CHI 2017 and continues to be an active contributor to the international research community.
John P. O'Doherty serves as the Fletcher Jones Professor of Decision Neuroscience within Caltech's Division of Humanities and Social Sciences, holding continuous faculty appointments since 2004 (Assistant Professor 2004-07, Associate Professor 2007-09, Professor 2009-present, Fletcher Jones Professor 2021-present). He previously directed the Caltech Brain Imaging Center (2013-17) and maintains affiliations with the T&C Chen Center for Social and Decision Neuroscience. His educational background includes a B.A. from University of Dublin, Trinity College (1996) and D.Phil. from University of Oxford (2000). His research focuses on computational and neural mechanisms of reward-based learning and decision-making , employing fMRI, intracranial recordings, and mathematical modeling to investigate how the brain solves complex decision problems through evolutionarily conserved algorithms. Key areas include Reinforcement learning systems (model-based/model-free arbitration) Observational and social learning mechanisms Neural representation of value, risk, and uncertainty Computational phenotyping of mental disorders Temporal dynamics of goal persistence Analysis of his 2023-2025 publications reveals dominant trends in computational psychiatry (problem gambling, autism traits), hierarchical decision-making, and neuroeconomic modeling of social behavior. His work consistently integrates cross-species computational frameworks with human neuroimaging to identify transdiagnostic mechanisms. While specific awards beyond his endowed professorship aren't detailed, his leadership as Brain Imaging Center Director and prolific high-impact publications demonstrate significant recognition. Current advising includes graduate researcher Sneha Aenugu on goal-persistence projects, with administrative support from Mary A. Martin (mmartin@caltech.edu). His active research program continues to pioneer computational approaches to understanding decision pathologies.
Veronika Eyring serves as Head of the Earth System Model Evaluation and Analysis Department at the German Aerospace Center (DLR) Institute of Atmospheric Physics and Professor of Climate Modelling at the University of Bremen. She holds dual appointments at these leading institutions, directing cutting-edge research at the intersection of climate science and artificial intelligence. Education: 2008: Habilitation in Environmental Physics at the University of Bremen 1999: PhD in Physics from the University of Bremen 1994: Diploma in Physics from the University of Erlangen Professor Eyring's research program focuses on improving climate models and projections through innovative integration of machine learning techniques and spaceborne Earth observations. Her work spans process-oriented modeling, development of observationally-based performance metrics, and understanding systematic biases in climate models. She has pioneered approaches to weighting model projections based on their performance using machine learning, significantly advancing the field of climate model evaluation. Her research has critical applications across multiple sectors including aeronautics, space research, transportation, and energy systems. Analysis of her recent publications reveals a clear trajectory toward deeper integration of machine learning with traditional climate modeling approaches. Her work has increasingly focused on developing community tools like the Earth System Model Evaluation Tool (ESMValTool) and leading major international initiatives such as the USMILE project (Understanding and Modelling the Earth System with Machine Learning). The publications span climate science, machine learning, Earth system modeling, and remote sensing, with specific emphasis on climate model evaluation, parameterization techniques, and improved climate projections. Scientific Awards: AGU Ambassador Award (2024) TUM Distinguished Affiliated Professor (2024) Gottfried Wilhelm Leibniz Prize (2021) ERC Synergy Grant (2019) Thomson Reuters Highly Cited Researcher (2016-2021) Top female researchers award, Helmholtz-Society (2015) Professor Eyring actively supervises a large research group comprising PhD students working on ML-based sea ice parameterizations, causal model evaluation for air-sea interactions, and machine learning-based detection of droughts in climate projections. She leads the prestigious ERC Synergy Grant USMILE and secured significant funding through the DFG Gottfried Wilhelm Leibniz Prize. Her research group at DLR includes multiple postdocs, research scientists, and software engineers working collaboratively on climate informatics projects. Professor Eyring leads the Earth System Model Evaluation and Analysis Department at DLR, which encompasses research groups focused on CMIP model evaluation, ESMValTool development, and machine learning applications in climate science. She founded and supervises the 'Climate Informatics' Group at the DLR Institute for Data Science in Jena. Her department maintains strong international collaborations, particularly with the National Center for Atmospheric Research (NCAR) in Boulder, Colorado, where she serves as an Affiliate Scientist.
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.