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
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