I study CS, Math & Music at Cornell with a concentration in Programming Languages. I research the applications & intersections between programming language theory and computer architecture at CAPRA, and work as a software developer at CMSX and a data analyst at Merlin. My interests lie in PL & compilers, applied machine learning, algorithms and combining them all within software engineering to create elegant software systems. While my background skills lie in full-stack development, I have recently developed a passion for developing domain-specific languages targeted at more niche applications, and exploring compilation and assembly between different frameworks. I also love to explore machine learning and algorithm design, and combining them all into software engineering.
You can always reach me at [email protected] or [email protected]! Also feel free stop by my LinkedIn.
You can also learn a bit more about me at my website, and check out my resume.
- Programming Languages & Compiler Design
- Full-Stack Development
- Machine Learning & Data Engineering
- System & Software Design
JavaScript/TypeScript, OCaml, Rust, Java, Python, C/C++, Haskell, Verilog, Ruby, Swift, Assembly (RISC-V, x86) HTML, CSS
- Web Development: MEAN Stack, React, Ajax, JQuery, JSP/EJS/Pug, Bootstrap, Mongoose, Nginx
- Machine Learning: Flask, Pandas, Numpy, TensorFlow, PyTorch, Keras
- Databases: MongoDB, SQL/PostgreSQL/MariaDB, Neo4j, AWS Lambda
- Other: LaTeX, Git, Lexing/Parsing Frameworks (Menhir, JavaCC, Yacc), Coq
You can view some of my larger public projects on GitHub including Saberchat (platform for schools & community organizations) and FindYourBird (ID and information site for amateur birders).
I'm currently working on a few projects including the following!
-
KLaTsL: A functional, typed & interpreted language focused on linear algebra. Introduces an elegant type system and syntax featuring matrix comprehensions & factorizations, typed transformations, dimensional typing and more.
-
Franz: A compiled programming language to represent music, Franz introduces features including rhythm comprehensions, recursive scales & motivic pattern matching. Compiles to ChucK, an audio production and representation language.
-
RISCV-Disassemble: A disassembler, decompiler, processor simulator and program verifier to translate machine code to RISC-V Assembly and verify program correctness given a set of program-state specifications.
-
Flock: More of a curiosity project than anything – a series of models and datasets analyzing how to maximize prediction accuracy for different labels in bird data, and discover new cluster patterns across species.
Do also keep an eye out for some of my notes on algorithmic challenges and ideas I post here!