I study Computer Science at Cornell University.
I am currently 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
- Graduate Probability Theory I
- Honors Algebra
- Functional Programming in OCaml
- Embedded Systems
- Computer Vision
- Digital Logic and Computer Organization
- Discrete Structures
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 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 write problems for the Cornell University Big Red Math Competition.
Reach out at jc3579@cornell.edu!