cv

This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.

Work

2024.05 - Present
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