Hello!

I am a fourth-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