Welcome to my website! I am a fifth-year PhD candidate in Mechanical Engineering at Boston University (BU), working in the BUÂ Robotics Lab under the guidance of Professor Roberto Tron. My research focuses on the intersection of robotics, formal methods, and machine learning.