cv

Work

2025.05 - 2025.08
Intern / Ph.D. Fellowship

Apple

Machine Learning
2024.05 - 2024.08
Intern / Ph.D. Fellowship

Apple

Machine Learning
2024.01 - Present
Research Intern

NVIDIA Research

Research on Language Models for Formal Verification
2022.05 - 2023.05
Student Researcher / HW Engineering Intern

Google

Research on ML-based Formal Verification with Google CI2

Education

2020.08 - Present
PhD

University of California, Berkeley

Computer Science
2014.09 - 2020.06
Bachelors

Williams College

Computer Science and Physics