جست‌وجوی استاد و پژوهشگر

Kevin M. Lynchمشاهده پروفایل

استاد

• Robotics
• Dynamics
• Motion planning
• +۷ مورد دیگر

Kevin M. Lynch is a Professor of Mechanical Engineering at Northwestern University's McCormick School of Engineering, where he also serves as Director of the Center for Robotics and Biosystems. His research spans multiple domains of robotics, with particular expertise in dynamics, motion planning, and feedback control of mechanical systems. Dr. Lynch received his Ph.D. in Robotics from Carnegie Mellon University in 1996, with a thesis on "Nonprehensile Robotic Manipulation: Controllability and Planning" under advisor Prof. Matthew T. Mason. He earned his B.S.E. with honors in Electrical Engineering from Princeton University in 1989. His research interests focus on robotics, particularly dynamics, motion planning, and feedback control of mechanical systems. He investigates mechanics, planning, and control of robotic manipulation (juggling, throwing, pushing, rolling, vibration, etc.) and locomotion. His work also explores self-organizing systems, particularly decentralized control of mobile sensor networks and swarm robotics, underactuated dynamic systems, and physical human-robot interaction with industrial applications. Recent research has expanded into bio-inspired active electrosense, underwater robotics, control and optimization for robot swarms, swarm shape control, and functional electric stimulation. Dr. Lynch's recent publications demonstrate a strong trend toward rehabilitation robotics and human-robot interaction, particularly in lower-limb exoskeletons for gait training and rehabilitation. His work bridges fundamental robotics research with practical applications in healthcare, showing increasing integration of swarm robotics principles with human-centered design. The publications also reveal continued strong contributions to fundamental robotics theory, particularly in swarm formation control and manipulation dynamics. George Saridis Leadership Award in Robotics and Automation (2022) Harashima Award for Innovative Technologies (2017) IEEE Fellow (2010) Charles Deering McCormick Professor of Teaching Excellence (2007-10) Society of Automotive Engineers Ralph R. Teetor Educational Award (2007) Early Career Award in Robotics and Automation (2001) McCormick School of Engineering and Applied Science Teacher Of The Year Award (1998-1999) NSF Career Award (1998) As Director of the Center for Robotics and Biosystems, Dr. Lynch oversees significant research grants and initiatives in robotics. He has made substantial contributions to robotics education through his "Modern Robotics" book and associated Coursera specialization, which has reached thousands of students worldwide. His professional service includes serving as Editor-in-Chief of IEEE Transactions on Robotics, where he oversaw a 90% increase in submissions during his tenure. Dr. Lynch leads research groups focusing on swarm robotics and rehabilitation robotics, with particular emphasis on the Center for Robotics and Biosystems at Northwestern University. His teams integrate expertise from mechanical engineering, electrical engineering, computer science, and rehabilitation medicine to develop innovative robotic systems for both industrial applications and healthcare solutions.

Kaiyu Hangمشاهده پروفایل

استادیار

• Robotics
• Robotic Manipulation
• Grasping
• +۸ مورد دیگر

Kaiyu Hang is an Assistant Professor in the Department of Computer Science at Rice University, where he directs the Robotics and Physical Interactions Lab (RobotΠ Lab). His research spans multiple domains of robotics with a focus on physical interaction systems. Before joining Rice, he completed his postdoc at Yale University, earned his Ph.D./M.Sc. at KTH Royal Institute of Technology, and received his B.Eng. from Xi'an Jiaotong University. His research interests include robotic manipulation, grasping, in-hand manipulation, optimization, planning, learning, estimation, and control systems. He develops algorithms that enable robots to physically interact with other robots, people, and the world across scales from small grasping tasks to large-scale dual-arm and multi-robot manipulation systems. His work has practical applications in factories, kitchens, hospitals, warehouses, and construction sites. His recent publications demonstrate strong trends in in-hand manipulation techniques, energy-efficient drone operations, and benchmarking frameworks for robotic grasping. The 2025 IROS papers accepted highlight his leadership in developing standardized competition frameworks for evaluating robotic manipulation capabilities across diverse hardware platforms. ASME Rising Star of Mechanical Engineering (2024) NSF CAREER Award (2023) Multiple finalist awards at IEEE-RAS Humanoids and ICRA conferences Junior Fellowship Award from Institute for Advanced Study, HKUST (2017-2018) As an educator, he has taught multiple robotics courses including COMP 462/562: Introduction to Modern Robotics and COMP 461: Senior Design in A Robotized World. He serves as Faculty Advisor for the Rice Robotics Club and participates in graduate admissions. His lab actively recruits Ph.D. students and offers research opportunities for undergraduate and master's students who have completed core robotics courses.

Kostas Bekrisمشاهده پروفایل

استاد

• Robotics
• Artificial Intelligence
• Computer Vision
• +۷ مورد دیگر

Kostas Bekris is a Professor in the Department of Computer Science at Rutgers University, specializing in Robotics and Artificial Intelligence. His research focuses on motion planning, autonomous manipulation, and robot control, with notable contributions to tensegrity robotics, perception-driven systems, and large-scale package handling. He leads a team conducting groundbreaking work in robotics, supported by grants from NSF, NASA, and industry collaborators like ExxonMobil. His group emphasizes interdisciplinary approaches, combining machine learning, topological methods, and differentiable physics modeling to advance robot capabilities in complex environments. Education details are not explicitly stated in the provided texts, but his academic career has included significant mentorship of PhD students and postdoctoral researchers. Key projects involve vision-driven manipulation pipelines, obstacle detection systems (PROBE), and resilient robot designs inspired by biological structures. He has been recognized for his work through prestigious awards including the NASA Early Career Grant and multiple NSF grants, as well as team achievements in robotics competitions like the Amazon Picking Challenge. Research interests span robotics subfields such as: Autonomous manipulation in cluttered environments Learning-based control for dynamic systems Topological data analysis for motion reasoning Tensegrity and soft robotics architectures Sim-to-real transfer in robotic tasks His team's work has produced open-source software tools and datasets, advancing benchmarks in manipulation and perception. Recent articles emphasize scalable solutions for industrial automation and robust navigation strategies in unstructured settings. Scientific achievements include: Development of PROBE for proprioceptive obstacle detection Advances in differentiable physics engines for tensegrity systems NSF-funded projects on robotic rearrangement and modular morphologies Advising contributions span over a decade, with current advisees focusing on topics like non-prehensile manipulation and large-scale storage optimization. Collaborations with industry (e.g., ExxonMobil) and academic partners (Yale University) reflect his commitment to applied robotics research. Labs and teams under his leadership include the Rutgers CS Robotics Group, contributing to projects like the ARIAC challenge platform and packing/industrial automation systems. Future work targets improved robot resilience in disaster scenarios and enhanced human-robot collaboration paradigms.

Patricio Antonio Velaمشاهده پروفایل

استاد

• Geometric Estimation and Control
• Computer Vision
• Robotics
• +۴ مورد دیگر

Patricio Vela is a Professor at the School of Electrical and Computer Engineering , Georgia Institute of Technology , specializing in geometric perspectives for control theory and computer vision. His research focuses on computer vision integration for semi-autonomous systems, nonlinear control of robotic systems, and biologically inspired mechanics. Education: B.S. (1998) and Ph.D. (2003) from Caltech Research Areas: Autonomy, Robotics, Computer Vision, Control Theory Key Contributions: Geometry-based control systems, visual navigation frameworks, SLAM benchmarking Recent publications highlight advances in vision-based motion planning , 6D pose tracking , and safe navigation policies for autonomous robots. His work bridges geometric mechanics with deep learning for robust perception and control in dynamic environments. Awards: HENAAC Most Promising Engineer (2005) Contact: pvela@gatech.edu | Office: TSRB 441 | Phone: 404.894.8749

Emilio Frazzoliمشاهده پروفایل

استاد

• Autonomous Robotics
• Control Systems
• Game Theory
• +۴ مورد دیگر

Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).

Wenhua Zhaoمشاهده پروفایل

دانشیار

• Offshore Hydrodynamics
• Renewable Energy Technologies
• Wave-Structure Interactions
• +۱۲ مورد دیگر

Associate Professor Wenhua Zhao is a globally recognized expert in offshore hydrodynamics and renewable energy technologies at The University of Queensland , School of Civil Engineering. With over 110 publications and 30 million AUD in secured research funding, his work bridges theoretical and practical advancements in marine engineering. Research focuses on Clean Energy , Artificial Intelligence , and Climate Change , specifically floating wind energy, floating solar, offshore aquaculture, and green hydrogen production. His 15 most recent articles (2024-2025) emphasize wave-structure interactions, gap resonance dynamics, and AI-driven wave prediction, published in top journals like Journal of Fluid Mechanics and Ocean Engineering . Scientific awards include the prestigious ARC Future Fellowship (2024-2028) and DECRA Fellowship (2019-2022) , recognizing his contributions to academia and industry. He teaches the 'Design of Offshore Energy Systems' course , training hundreds of students in coastal and ocean engineering, and serves as Deputy Editor for Ocean Engineering and Associate Editor for ASME's Journal of OMAE . Available for research supervision, Zhao actively collaborates with editorial boards of Applied Ocean Research and other Q1 journals.

Gian Antonio Sustoمشاهده پروفایل

دانشیار

• Machine Learning
• Deep Learning
• Predictive Maintenance
• +۶ مورد دیگر

Gian Antonio Susto is an Associate Professor at the Department of Information Engineering , University of Padova . With a Ph.D. in Information Technology and post-doctoral experience at National University of Ireland, Maynooth, he leads research in Machine Learning , Semiconductor Manufacturing , and Industrial IoT . His work bridges Anomaly Detection , Continual Learning , and Algorithmic Fairness with applications in Hydroelectric Power Plants , Particle Accelerators , and Smart Mobility . B.Sc. and M.Sc. in Controls Engineering, University of Padova (cum laude) Ph.D. in Information Technology, University of Padova (2013) Post-Doc at National University of Ireland, Maynooth (2012-2013) Assistant Professor at University of Padova (2013-2021) His research focuses on Explainable AI , Virtual Metrology , and Deep Learning for manufacturing and infrastructure monitoring. Recent projects include the AIMS5.0 (AI for Manufacturing Sustainability) and MICS (Circular Economy in Italy) initiatives. His publications span Engineering Applications of Artificial Intelligence , IEEE Transactions , and Information Processing & Management , with 15+ recent papers on topics like Fault Diagnosis , Continual Learning , and Fair Ranking . Key scientific awards include: IEEE CCTA Best Student Paper Award (2021) IP&M 2020 Ph.D Paper Award Best Industry Paper Award, European Workshop on Advanced Control and Diagnosis (ACD 2019) He has supervised Ph.D. students on projects involving Particle Accelerators , Plant Behavior Modeling , and Explainable AI , with alumni now at institutions like Max Planck Institute , IBM , and Scripps Research . Current teaching includes Reinforcement Learning and Explainable Machine Learning at graduate and Ph.D. levels.

Matthew Dunbabinمشاهده پروفایل

استاد

• Environmental Robotics
• Vision-Based Perception
• Marine Robotics
• +۴ مورد دیگر

Matthew Dunbabin is a Professor at Queensland University of Technology (QUT) and Chief Investigator at the Australian Centre for Robotic Vision (ACRV). His expertise spans environmental robotics, with a focus on vision-based autonomous systems for marine conservation, water quality monitoring, and greenhouse gas management. He holds a PhD from QUT and a BEng (Aerospace) from RMIT. Dunbabin has led projects at CSIRO and QUT, developing robots like COTSBot and RangerBot to combat marine pests and promote reef restoration. His work has earned national and international awards, including the 2019 Australian Water Association Award and 2016 Google Impact Challenge. Education: PhD in Engineering, Queensland University of Technology (Queensland, Australia) BEng (Hons) in Aerospace Engineering, Royal Melbourne Institute of Technology (Melbourne, Australia) Research Interests: Environmental robotics and autonomous systems Vision-based perception and classification Marine habitat restoration and pest control Greenhouse gas monitoring via autonomous vehicles Cooperative robotics and sensor networks Awards & Recognition: 2019 Australian Water Association Award (SAMMI Project) 2019 Good Design Award - Sustainability (RangerBot) 2016 Google Impact Challenge People’s Choice Award (RangerBot AUV) 2010 Australian ICT Industry Association National iAward (iSnet) 2006 Queensland Engineering Excellence Innovation Award (Starbug Project) Grants & Projects: ARC Centre of Excellence for Robotic Vision (ACRV): Leading robotic vision research (2014–present) Revolutionising Protection Against Air Pollution: Air quality monitoring networks (2015–present) Establishing Advanced Networks for Air Quality Sensing: Sensor development for urban environments (2017–present) Labs & Collaborations: ACRV at QUT Institute for Future Environments (QUT) CSIRO Autonomous Systems Laboratory (2001–2013)

David Eppsteinمشاهده پروفایل

استاد

• Graph Algorithms
• Computational Geometry
• Graph Theory
• +۳ مورد دیگر

David Eppstein is a Distinguished Professor of Computer Science at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He holds academic leadership roles as director of the Center for Algorithms and Theory of Computation and associate director of the Center for Algorithms, Combinatorics, and Optimization. His research focuses on graph algorithms, computational geometry, discrete mathematics, and geometric graph theory. Eppstein earned a B.S. in Mathematics from Stanford University (1984) and a Ph.D. in Computer Science from Columbia University (1989). Research Interests: Graph drawing, information visualization, dynamic graph algorithms, mesh generation, optimal triangulation, K-shortest paths, subgraph isomorphism, data depth, exponential-time algorithms for NP-hard problems. Awards: ACM Fellow (2012), AAAS Fellow (2017), Distinguished Professor (2020), Best Paper Awards (2023, 2022), and SIAM recognition. Grants: Co-PI on a $1.2M NSF grant (2022) for geometric graph research, and previous NSF grants for algorithm studies (2016). His work bridges theoretical computer science and practical applications, including contributions to graph visualization, geometric algorithms, and combinatorial optimization. Notable recent achievements include resolving open questions in graph biplanarity and authoring the book Forbidden Configurations in Discrete Geometry (2018).

Gioele Zardiniمشاهده پروفایل

استادیار

• Co-design of complex systems
• Autonomous systems
• Transportation systems
• +۴ مورد دیگر

Gioele Zardini is the Rudge (1948) and Nancy Allen Assistant Professor at MIT's Department of Civil and Environmental Engineering (CEE), with affiliations to the Laboratory for Information and Decision Systems (LIDS) and the Institute for Data, Systems, and Society (IDSS). He holds a PhD from ETH Zurich and previously worked as a postdoctoral scholar at Stanford University. His research focuses on co-design of complex systems, autonomous systems, and game-theoretic modeling of transportation networks. Education: BSc and MSc in Mechanical Engineering and Robotics from ETH Zurich (2017–2019), PhD in 2023. He has held visiting roles at nuTonomy Singapore, Stanford, and MIT. Research interests include co-design methodologies, autonomous vehicle systems, compositionality in engineering, and strategic interactions in mobility networks. Recent work emphasizes scalable fleet coordination, safety-critical robotics, and user-centric transportation solutions. Notable awards include the 2024 ETH Doctoral Dissertation Award (Silver Medal), Best Paper at ITSC 2021, and federal grants for enhancing urban transit equity. He leads the Zardini Lab, fostering interdisciplinary collaboration in systems engineering and autonomy. Grants and advising: Received federal grants for transit accessibility projects. His work on Autonomy Talks has produced over 180 recorded lectures, promoting knowledge exchange in autonomous systems. Labs/Teams: Principal Investigator at LIDS, affiliate at IDSS, and founder of the Zardini Lab, focusing on systems co-design, mobility innovation, and game-theoretic frameworks.

Bilal Farooqمشاهده پروفایل

دانشیار

• Disruptive transportation technologies and services
• Cyber-physical transportation systems
• Artificial intelligence and machine learning
• +۴ مورد دیگر

Bilal Farooq is an Associate Professor and Program Director for the Master of Engineering in Interdisciplinary Engineering (MEIE) at Toronto Metropolitan University, holding the Canada Research Chair in Disruptive Transportation Technologies and Services within the Department of Civil Engineering. His educational background includes a PhD from the University of Toronto (2011), MASc from Lahore University of Management Sciences (2004), and BSc from the University of Engineering and Technology (2001). Dr. Farooq's research pioneers disruptive transportation solutions through cyber-physical systems, AI/machine learning applications, behavioral modeling, and optimization techniques. His work specifically targets on-demand multimodal systems, sustainable urban transportation, urban air mobility, automated vehicles, and extended reality applications, addressing critical urban mobility challenges with human-centered approaches. Analysis of his recent publications reveals a strong trend toward quantum-enhanced computational methods, privacy-preserving federated learning frameworks, and sustainability-focused decarbonization strategies across transportation domains, with increasing emphasis on human factors and real-world implementation. Notable scientific awards include: Ontario Early Researcher Award (2018) Canada Research Chair (2017) MassMotion Academic Pedestrian Modelling Project of the Year (2016) Québec Early Researcher Award (2014) Dr. Farooq actively supervises graduate students and secures significant research funding through his Canada Research Chair position and Early Researcher Awards. He directs the Laboratory of Innovations in Transportation (LiTrans), which develops interdisciplinary solutions integrating mathematics, engineering, computer science, and economics to address emerging transportation challenges. LiTrans focuses on disruptive transportation technologies, complete streets design, cyber-physical systems, pedestrian dynamics, resilience, and climate change impacts, collaborating with industry and government partners to translate research into practical urban mobility innovations for smart cities worldwide.

Jiaoyang Liمشاهده پروفایل

استادیار

• Multi-Robot Coordination
• Artificial Intelligence
• Planning and Scheduling
• +۵ مورد دیگر

Jiaoyang Li is an Assistant Professor at the Robotics Institute, Carnegie Mellon University , where she leads research in large-scale multi-robot coordination. She earned her Ph.D. in Computer Science from the University of Southern California (2022) under Professor Sven Koenig and holds a B.Eng. in Automation from Tsinghua University (2017) . Ph.D. (2022): University of Southern California B.Eng. (2017): Tsinghua University Research Focus : Jiaoyang Li's work centers on algorithms for multi-robot coordination in dynamic environments. Key areas include: Multi-Agent Path Finding (MAPF) Lifelong Planning for Autonomous Systems Kinodynamic Motion Planning Warehouse and Transportation Automation Human-Robot Collaboration Integration of Planning and Machine Learning Swarm Robotics Publication Trends : Recent work spans 2023-2025 , showing emphasis on: Scalable coordination for 10,000+ robots Bézier curve optimization for dual-arm assembly Diffusion models in multi-robot motion planning Guidance graph optimization for airport/railway traffic Multi-objective search in warehouse automation Temporal plan graphs for switchable passing orders Scientific Honors : ICAPS-24 Best Student Paper Award Three top dissertation awards (ICAPS-23, IFAAAMAS, USC) 2023 League of Robot Runners champion Outstanding student paper award at ICAPS-20 Technology Commercialization Award from USC Student Leadership : Advises 5 Ph.D. students and 1 Master's student at CMU, with alumni now at MIT (Ying Feng) and USC (Yimin Tang). Collaborates with visiting students from National University of Singapore and Tsinghua University. Lab Affiliation : Directs the Artificial Intelligence for Robot Coordination at Scale (ARCS) Lab , focusing on: Warehouse automation with thousands of robots Multi-arm LEGO assembly systems Railway coordination algorithms Cooperative assembly with multiple manipulators

Xiaoming Huمشاهده پروفایل

استاد

• Multi-agent systems
• Nonlinear control systems
• Systems theory
• +۴ مورد دیگر

Xiaoming Hu is a Professor at the Division of Numerical Analysis, Optimization and Systems Theory within the Department of Mathematics at KTH Royal Institute of Technology (Kungliga Tekniska Högskolan) in Stockholm, Sweden. Born in Chengdu, China, he received his B.S. degree from University of Science and Technology of China in 1983, followed by M.S. and Ph.D. degrees from Arizona State University in 1986 and 1989 respectively. After serving as a research assistant at the Institute of Automation, Chinese Academy of Sciences (1983-1984), he was a Gustafsson Postdoctoral Fellow at KTH (1989-1990) before becoming a faculty member. His educational background includes: B.S. in Engineering, University of Science and Technology of China, 1983 M.S. in Engineering, Arizona State University, 1986 Ph.D. in Engineering, Arizona State University, 1989 Xiaoming Hu's research primarily focuses on multi-agent systems, nonlinear feedback stabilization, nonlinear observer design, and sensing and active perception. His work bridges theoretical control theory with practical applications in robotics and autonomous systems. He has made significant contributions to geometric control theory, mathematical systems theory, and nonlinear systems analysis and control. His research often involves developing theoretical frameworks for distributed control, formation control, and cooperative behavior in multi-robot systems. Professor Hu's publication record shows a consistent research trajectory with numerous high-impact publications in top-tier journals like Automatica, IEEE Transactions on Automatic Control, and Systems & Control Letters. His research has evolved from fundamental control theory to more applied problems in robotics and multi-agent systems, while maintaining strong mathematical foundations. Recent work shows increasing focus on safety-critical control, inverse problems in estimation, and networked systems. His scientific contributions include: Development of theoretical frameworks for multi-agent coordination and formation control Advances in nonlinear observer design for robotic systems Contributions to geometric control theory and systems theory Research on distributed estimation and control algorithms Applications of control theory to robotics and autonomous systems Professor Hu teaches several advanced courses including Mathematical Systems Theory, Geometric Control Theory, and Nonlinear Systems: Analysis and Control. He has supervised numerous degree projects at both undergraduate and graduate levels in mathematics, optimization, systems theory, and scientific computing. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications of control theory.

• Robotics
• Control Systems
• Rehabilitation Robotics
• +۴ مورد دیگر

Timothy Bretl is a Professor of Aerospace Engineering at the University of Illinois at Urbana-Champaign, holding the Severns Faculty Scholar position since 2021. He also serves as Associate Head of the Aerospace Engineering department. His research focuses on robotics, control systems, rehabilitation robotics, and engineering education. Bretl earned his Ph.D. from Stanford University (2005), with prior degrees from Swarthmore College. He holds affiliate roles across multiple departments, including Neuroscience, Coordinated Science Laboratory, and Computer Science. Education: Ph.D. in Aeronautics and Astronautics, Stanford University (2005) B.A. in Mathematics and B.S. in Engineering, Swarthmore College (1999) His research spans engineering education innovations, robotic manipulation, and brain-machine interfaces. Notable awards include the NSF CAREER Award (2010), Best Manipulation Paper (2012), and multiple teaching honors like the Rose Award for Teaching Excellence (2016). Bretl’s work integrates theoretical foundations with practical applications in prosthetics, autonomous systems, and educational technology. He has advised numerous projects on robotics, control systems, and human-robot interaction. His lab explores advanced topics like elastic rod manipulation, magnetic positioning, and curriculum reform in STEM education. Collaborative projects include partnerships with industry and interdisciplinary teams at the Beckman Institute.

Calin Beltaمشاهده پروفایل

استاد

• Control Theory
• Cyber-Physical Systems
• Formal Methods
• +۵ مورد دیگر

Calin Belta is the Brendan Iribe Endowed Professor of Electrical and Computer Engineering and Computer Science at the University of Maryland, College Park. He is affiliated with the Institute of Systems Research (ISR) and the Maryland Robotics Center (MRC), and holds a Research Professor position at Boston University's College of Engineering. His work bridges control theory, formal methods, and machine learning to ensure safety in cyber-physical and data-driven systems, with applications in robotics, autonomous driving, and systems biology. Research Interests: Focus on dynamics and control theory, formal methods for verification and control synthesis, robotics, autonomous systems, and synthetic biology. Recent projects include PROGENIC (collaborating with MIT, UChicago, and UDelaware) and safety-critical control for heterogeneous robotic teams. Key Achievements: General Chair of the 2025 MRC Symposium, recipient of AFOSR Young Investigator Award (2008), NSF CAREER Award (2005), and IEEE Fellow. His work on formal methods for autonomous systems has led to impactful tools for safety assurance in robotics and AI. Grants: NSF EFRI PROGENIC grant (2024), multiple industry partnerships. Advising: Mentored students like Wenliang Liu (PhD 2024, now at Amazon), and collaborator Marius Kloetzer (shared HSCC Test of Time Award 2025). Labs/Teams: Maryland Robotics Center, Institute for Systems Research, and Boston University collaborations.