Hi! I am currently co-founder and CTO at Valgo, a company focused on building safety validation tooling to support autonomous systems development and certification. I also teach a class at Stanford University during the winter quarter on Validation of Safety-Critical Systems. Previously, I was a PhD student and postdoctoral researcher at Stanford in the Stanford Intelligent Systems Laboratory (SISL) advised by Professor Mykel Kochenderfer. My research was focused on the design and validation of safety-critical decision-making systems, building upon ideas from optimization, Bayesian inference, probabilistic model checking, neural network verification, and reachability analysis. My PhD thesis was related to safe machine learning-based perception, which requires techniques that tackle the challenges posed by the high-dimensional nature of many perception problems.

In addition to researching new techniques, I enjoy making our research ideas accessible to the broader community through various mediums. Whether it involves creating new videos (check out my recent video about making good presentations!), mentoring students, or writing a textbook, I am always looking for new ways to communicate our ideas. I co-authored a textbook called Algorithms for Validation that presents algorithms for validating the performance of safety-critical decision-making systems using topics from optimization, probability theory, and formal methods.