Experiences

Ph.D. in Electrical Engineering and Computer Sciences

University of California, Berkeley | Berkeley, CA, U.S. | Jan. 2025 - Present
Advisor: Prof. Pierluigi Nuzzo

Ph.D. in Ming Hsieh Department of Electrical and Computer Engineering

University of Southern California | Los Angeles, CA, U.S. | Jan. 2021 - Dec. 2024
Advisor: Prof. Pierluigi Nuzzo

B.E. in Microelectronic Science and Engineering

Fudan University | Shanghai, China | Aug. 2016 - Jul. 2020
Advisors: Prof. Jianli Chen, Prof. Bei Yu
Worked on electronic design automation (EDA)

Exchange Student

University of Sydney | Sydney, Australia | Feb. 2019 - Jun. 2019
Department of Information and Computer Engineering

Co-Founder & CTO

Stealth Startup | San Francisco Bay Area | Jun. 2026 - Present

Deterministic testing, runtime guarantees, and automated repair for probabilistic AI agents, forming a self-evolving loop from behavioral requirements to reliable production behavior.

Applied Scientist Intern

Amazon Web Services | Seattle, WA, USA | May 2025 - Aug. 2025

Developed an LLM-based iterative framework that generates and refines Infrastructure-as-Code using formal verification feedback to reduce hallucinations.
Focus: Automated Reasoning

Machine Learning Intern

Micron Technology | May 2023 - Aug. 2023

Designed an image segmentation model to identify functional circuit blocks on layout images for comparative analysis, achieving 90% accuracy.

EECS 144/244: Introduction to Design Automation

UC Berkeley | Jan. 2026 - Present
Course website: Fall 2026

EECS 149/249B: Introduction to Embedded Systems

UC Berkeley | Sep. 2025 - Dec. 2025

EE 581: Mathematical Foundations for System Design

USC | Jan. 2024 - Apr. 2024