I study Computer Science at Cornell University.
I am an incoming software engineer intern at Millennium Management in New York City for the summer of 2026.
During the summer of 2025, I was involved with various startups across AI and healthcare, B2B and B2C. I have gained experience with full stack development, deploying RAG and agents, as well as meeting people in industry to identify pain points and target product market fit.
During the summer of 2024, I researched using LLMs for hardware design under Zhiru Zhang funded by an Engineering Learning Initiatives grant. See our report here. We also innovated new methods of Verilog dataset creation and submitted our results to the ICCAD Contest on LLM-Assisted Hardware Design, where we placed 9th.
At Cornell, I work on verification of RTL designs for a custom chip as part of Cornell Custom Silicon Systems. My work consists of formal verification as well as simulation testing, and I have helped verify blocks including an SPI minion, LBIST, and FFT.
Some relevant coursework
- Analysis of Algorithms
- Systems Programming
- Functional Programming in OCaml
- Programming Languages and Logics
- Embedded Systems
- Cryptography
- Computer Vision
- Digital Logic and Computer Organization
- Discrete Structures
- Graduate Probability Theory I
- Honors Algebra
Honors
- William Lowell Putnam Mathematical Competition (Top 800)
- ICCAD Contest on LLM-Assisted Hardware Design (9th Place)
- Cornell Integration Bee (3rd Place)
Miscellanous
- I enjoy playing the piano, which I currently study under Andrew Zhou. I am also involved in chamber music. Here is a list of pieces I have played or am playing.
- I am currently reading Homer’s Iliad. See my Goodreads here.
- I am interested in philosophy and was previously an editor for Logos: The Cornell Undergraduate Philosophy Journal. See the 2024 edition here. Or see whether I think numbers are real here.
- I have written problems for the Cornell University Big Red Math Competition.
Reach out at jc3579@cornell.edu!