Resume
I prefer working with and am most comfortable with OCaml.
Work experiences
Software Engineering Intern at Semgrep June 2025 - August 2025 San Francisco, CA
- Optimized performance of
semgrep's interprocedural program analyzer using OCaml. - I posted my project presentation slides.
Undergraduate Research Intern at Cornell BURE June 2023 - August 2023 Ithaca, NY
Education
Cornell University 2022-2026 B.S. in Computer Science
Teaching:
- TA for Functional Programming and Data Structures (CS 3110), Fall 2023 - Fall 2025
- AEW for Computer System Organization (CS 3410), Fall 2024
Graduate-level coursework:
- Kleene Algebra (CS 6861)
- Advanced Compilers (CS 6120)
- Distributed Systems (CS 5414)
- High Level Synthesis (ECE 6775)
Undergraduate coursework:
- Programming Languages (CS 4110)
- Algorithms (CS 4820)
- Computer Architecture (ECE 4750)
- Signals and Systems (ECE 3250)
- Reinforcement Learning (CS 4789)
- Natural Language Processing (CS 4740)
Extracurriculars:
- RTL Subteam Member on Cornell Custom Silicon Systems