@noakaplan.bsky.social
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
