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