I'm a 20th-grader fourth-year PhD student and PhD candidate in Robotics at the University of Michigan , advised by Jean-Baptiste Jeannin . My research concerns formal verification for automotive control, such as collision avoidance systems, and is supported by a NASA Fellowship. Recently, I've been working on automatic verification for collision avoidance, leveraging geometric intution. We've published a few papers on the "active corner method", which enables automatic generation of efficiently-checkable sa
I went to Berkeley , where I studied electrical engineering & computer science , taught a data science course that the Wall Street Journal wrote about , won an Outstanding GSI Award , and researched traffic-mitigating strategies for autonomous vehicles and intelligent infrastructure.
At Cal, I was part of the team that built Flow , an open-source framework inferfacing the microscopic vehicle simulator SUMO (and later Aimsun) with the deep reinforcement library Ray RLlib. Flow enables the design and analysis of traffic scenarios as well as the training of agents using deep RL. Here are some papers I contributed to at Cal. I also like to bake, read, and bike. Email me if you'd like. Here are my resume (short) and CV (long). Find my Google Scholar here .