I'm a graduate research assistant at WPI.
- ๐ญ Iโm currently researching compositional verification of autonomous systems with Learning Enabled Components and safety barrier certificates
- ๐ฑ Iโm currently learning about machine learning techniques in the context of robotics (checkout ml_for_robotics)
- ๐ฏ Iโm looking to collaborate on robotics projects (SLAM, navigation, perception), or making platformer games!
- ๐ซ How to reach me: @[email protected] or my LinkedIn
- ๐ Pronouns: He/Him