I'm a Robotics PhD student at Cornell, working in the Verifiable Robotics Group under Professor Hadas Kress-Gazit. My research combines formal methods with vision-language-action models, aiming to provide formal guarantees of behavior compliance for learned models. Before Cornell, I interned at iRobot, worked on autonomous vehicles at Motional in Boston, and taught autonomous drone racing at MIT. Originally from Ghana, I spent the last 11 years in Boston before coming to Ithaca. At Northeastern, I founded and captained the Taekwondo team and Robotics Club, and I still compete at the national collegiate level today with hopes of making the national team (cheer me on at the US Open next year!). Outside of the lab and the mats, you can find me cooking, running, or dancing. I'm also a hardstuck Emerald ADC in League of Legends, and I religiously doomscroll Love Island TikTok (some might say I'm a certified relationship expert at this point). On the domestic front, I'm currently at 26 plants and on a mission to hit 100 by the end of the year, so consider this an open invitation to bring me a new leafy roommate. Come stop by my apartment whenever the door is open!