Elliot Cao.
Computer Science & Applied MathematicsUniversity of California, Los Angeles
01 / AboutLos Angeles, California

Hello, I’m

Elliot Cao.

A little curiosity.
A lot of questions.

I study Computer Science and Applied Mathematics at UCLA. I’m interested in programming languages, correctness by construction, and scalable verification for complex, automatically generated software and data.

EmailGitHubLinkedIn
A portrait to come
Elliot CaoUCLA · Class of 2027
Education

B.S. Computer Science
B.S. Applied Mathematics

Expected June 2027 · GPA 3.97 / 4.0
Research direction

Strong correctness guarantees by construction, and scalable verification of software and data.

Beyond the code

External Vice President & Corporate Director, Tau Beta Pi at UCLA.

Engineering community & student mentorship
Relevant courseworkComputer science, mathematics, and physics
Honors & recognitionAcademic honors, scholarships, and hackathons
    Community & teachingTau Beta Pi leadership, mentoring, and outreach

    Inside the notebook

    A few places to begin
    02 / Research

    From questions
    to evidence.

    Quantum programming, AI agent security, and computational research.

    Explore research    03 / Internship

    Software in
    the real world.

    Engineering on the Advanced Design System platform at Keysight.

    Read about my work    04 / Projects

    Languages
    & systems.

    Compilers, interpreters, secure networking, and quantum experiments.

    See selected projects