About me

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 intersects Human-Computer Interaction, Artificial Intelligence, and Programming Languages. I develop human-centered AI tools that support deterministic reliability and adaptive resilience, enabling seamless integration into human environments. I focus on user-facing challenges that arise when AI systems are deployed in real-world settings, such as unreliable or insufficient verification, limited adaptability, and misaligned user expectations. To address these challenges, I combine user-centered design approaches with logic-based formal methods in building AI systems. My goal is to empower users to directly verify, adapt, and repair system behavior to support sustained and effective use. My work draws on theories and methods across computer science, social science, design, and communication arts.

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.

My work is supported by the Cisco Distinguished Graduate Fellowship and the NSF INTEGRATE Research Training Program Fellowship.

Download my CV — Updated: April 2025

My Google Scholar — For most updated publications