Scholar
CHRISTINE P LEE
Google Scholar ID: koUNB_MAAAAJ
University of Wisconsin-Madison
Citations & Impact
Citations
287
H-index
7
i10-index
6
Publications
11
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- 1. CHI'25: Veriplan: Integrating formal verification and LLMs into end-user planning
- 2. HRI'24: Understanding large-language model (LLM)-powered human-robot interaction
- 3. CHI'22: The unboxing experience: Exploration and design of initial interactions between children and social robots (Honorable Mention)
- 4. DIS'24: Rex: Designing user-centered repair and explanations to address robot failures
- 5. DIS'24: The AI-DEC: a card-based design method for user-centered AI explanations
Research Experience
- Develops human-centered AI systems, tackling challenges users face when AI is deployed in real-world settings, including unreliable verification, limited adaptability, and misaligned expectations.
Education
- PhD Student at the University of Wisconsin-Madison, Department of Computer Sciences, advised by Professor Bilge Mutlu.
Background
- Research Interests: Developing human-centered AI systems that combine black box AI models (i.e., large language models (LLMs)) with formal methods and models—such as verification, synthesis, and Markov Decision Processes—to make AI outputs verifiable, adaptable, and repairable. Aiming to reduce oversight burden, make user control more expressive, and ensure AI systems adapt smoothly to changing needs.
Co-authors