I study Computer Science at Cornell University.
Last summer, I researched using LLMs for hardware design under Zhiru Zhang funded by an Engineering Learning Initiatives grant. See our report here.
I am working on formal verification of RTL designs for a custom chip as part of Cornell Custom Silicon Systems.
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!