About me

Hi there! 👋 I am a third-year PhD student in the Department of Computer Sciences at the University of Wisconsin-Madison, gratefully guided by Dr. Bilge Mutlu.

My research focuses on designing, developing, and deploying human-centered AI systems that preserve user control, emulate human behavior, and support transparency to facilitate resilience. These systems adapt to user needs, recover from setbacks, and continuously operate effectively for end-users in everyday AI applications.

Currently, I aim to design AI systems that incorporate formal methods in modular approaches, adding verifiability, synthesizability, and repairability to LLM output. I believe the deterministic nature of these formal methods will serve as a quality check on the probabilistic aspects of AI models, particularly LLMs, thereby enhancing their reliability and usability for end-users.

Download my CV — Updated: September 2024

My Google Scholar — For most updated publications