• I like compilers, machine learning, programming languages, math and other stuff; I also dabble a fair bit in fullstack development. Broadly, I like software abstractions that make life easier for both humans & hardware.

• 👨🏽‍💻 I will join Qualcomm's Machine Learning Compilers Team as a research/software engineer this July.

• 👨🏽‍🎓 I graduate from Cornell University this May. I studied CS & Math with a concentration in Programming Languages (PL). While there, I have worked on a couple of fun things:

  • 🧱 Led the development of Cornell's course management software at CMSX with Dr. Andrew Myers.

  • 🔬 Researched compilers, programming languages and hardware for networking and packet scheduling at CAPRA with Dr. Adrian Sampson and Anshuman Mohan.

  • 👨🏽‍🏫 Put [fun] in functional programming at Cornell (FA23-SP25). Raised critters at Cornell's Honors DS & OOP course (FA25). Taught people who know much more than I do how to build great software at Cornell (SP26).

I'm fond of music, birds, linguistics, baking and sports of all forms as well.

For a more in-depth look at what I do, visit my website or LinkedIn.

• C++, Java, Rust, Python, TypeScript, C, OCaml, Scala, Kotlin, Haskell, Swift, Julia, Ruby, HTML/CSS

• Fullstack: React, Vue, Node, Express, Angular, AJAX, Flask, Bootstrap, template engines (JSP, EJS)
• ML/Data: PyTorch, TensorFlow/Keras, SQL, MongoDB, Pandas, MapReduce, ScikitLearn, Hugging Face
• Systems/Compilers: LLVM, MLIR, CUDA, Triton, Rocq Prover, Assembly (RISC-V, x86), Verilog, Parser Generators
• Other: LaTeX, Docker, Git, Nginx

Check some of my larger public projects on GitHub including Saberchat (platform for schools & community organizations) and FindYourBird (ID and information site for amateur birders). At some point I'll get them back on the internet. In my spare time, I like to hack on:

• Franz: An IR for music notation (my own work, hopefully open-source one day?). Compiles to ChucK, an audio production and representation language.
• Calyx: An IR for hardware accelerators (open-source contributor). I add optimizations and widgets to the syntax and embedded DSL from time to time.