Feel free to reach out at [email protected] or [email protected], or read a bit more about me below!
Software engineer, researcher, innovator, teacher. I do large-scale software, compilers, machine learning, programming languages and other stuff. I like math, computers, PL, music, birds, baking and sports of all forms as well. I am:
-
π Studying CS & Math, minoring in Music at Cornell University with a concentration in Programming Languages (PL).
-
π§± Building analytics tools & prediction models for high-frequency trading in event-driven insurance markets at Cove.
-
π§± Taking Cornell's course management software to new heights with CMSX.
-
π¬ Researching fast compilers, programming languages and hardware for networking and packet scheduling at CAPRA.
-
π£οΈ Putting the [fun] in functional programming since Fall 2023 and for the foreseeable future.
For a more in-depth look at what I do, visit my website or LinkedIn.
Java, TypeScript, Rust, OCaml, Python, C++, JavaScript, C, Coq, Haskell, Go, Ruby, Swift, HTML/CSS, Verilog, Assembly
- Fullstack: React, Node, Express, Angular, Vue, Ajax, Angular, Nginx, MongODB, SQL/AWS, template engines (JSP, EJS)
- Machine Learning: PyTorch, TensorFlow, Numpy, Pandas, Keras
- Other: LaTeX, Git, Parsers (Menhir, Lalrpop, Yacc, JavaCC)
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 intermediate language for music notation. Compiles to ChucK, an audio production and representation language.