Supported by the Honda Research Institute, working on tackling challenges in probabilistic mission design for autonomous agents, such as managing Unmanned Aerial Vehicles in Advanced Air Mobility settings.
Background
Research Interests: Probabilistic logic, robotics, and Neuro-Symbolic systems. Bio: Working on enabling autonomous systems to efficiently reason about their environment and actions by combining the powers of probability theory with formal logic, aiming for continual reasoning under real-time constraints.
Miscellany
Open to students looking for thesis topics, particularly in the areas of probabilistic logic, robotics, and Neuro-Symbolic systems.