Hello!

I completed my Ph.D. in Computer Science at the University of Pennsylvania under the supervision of Prof. Rajeev Alur and Prof. Eric Wong. This fall, I’ll be starting my postdoc at the UT Austin Center for Generative AI.

My goal is to make ML systems safe and interpretable using formal methods, control theory, and optimization! I am broadly interested in:

• Making LLMs better at logical reasoning
• Training models that are interpretable by design
• Developing simple yet useful explainability techniques
• Establishing formal guarantees for ML systems
• Linear algebra and big matrices