Hello! I’m a PhD student in EECS at UC Berkeley, advised by Murat Arcak. My primary research interests are in the application of machine learning to control, with an emphasis on safety, particularly under uncertainty.

See my CV!

Ongoing Work

• Joint synthesis of neural network controllers and certificates of closed-loop robustness.

• Tighter bounds on model uncertainties and nonlinearities for computationally tractable verification

• Faster constrained neural network training