Hello!

I am a third-year Ph.D. student studying Computer Science at the University of Pennsylvania. I am advised by Prof. Rajeev Alur. I am broadly interested in

  • Convex Optimization
  • Formal Methods + Neural Networks
  • Programming Languages