• I am a third-year undergrad studying Computer Science, Mathematics & Music at Cornell University with a concentration in Programming Languages (PL). I'll be applying to graduate programs next cycle. I love research, teaching and building software.

• My interests lie in programming languages, compilers, formal verification and turning these into tools for building correct, efficient software. I work heavily within fullstack development, and dabble in algorithms and competitive programming.

• I am a strong believer that CS is at its best when used hand-in-hand with other areas. I am always searching new for ways to integrate fields ranging from music to ornithology!

Feel free to reach out at [email protected] or [email protected]. You can also learn a bit more about me at my website. For a more in-depth look at my professional background, visit my LinkedIn.

• I research programming language theory, formal verification and computer architecture abstractions at CAPRA, where I am fortunate to be advised by Adrian Sampson and Anshuman Mohan.

• I am a senior member, developer & frontend lead on Cornell's CMSX research & project team, where I am fortunate to be advised by Andrew Myers.

• I have spent two years as Head Teaching Assistant of Cornell's foundational course in functional programming, theoretical CS and advanced data structures. I priorly taught and assisted teaching at number of organizations and courses.

• I worked for two years as a data analyst & software engineer at the Cornell Lab Of Ornithology, on the Merlin project.

• Research: Programming Languages, Formal Verification, Functional Programming
• Tech: Compiler Design, Fullstack Development

OCaml, Rust, Java, Coq, Python, JavaScript/TypeScript, C/C++, Haskell, Go, Ruby, Swift, HTML/CSS, Verilog, RISC-V

• Fullstack: Node/Express/Angular/React.js, Ajax, JQuery, Bootstrap, Mongoose, Nginx, template engines (JSP, EJS, Pug)
• Machine Learning: Flask, Pandas, Numpy, TensorFlow, PyTorch, Keras
• Databases: MongoDB, SQL/PostgreSQL/MariaDB, Neo4j, AWS Lambda
• Other: LaTeX, Git, Parser Generators (Menhir, Lalrpop, Yacc, JavaCC)

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). At some point I'll get them back on the internet.

I'm currently working on a few projects including the following!

• Franz: A compiled, domain-specific programming language targeted towards compact and modular musical composition, using a medium of text-based musical notation. Compiles to ChucK, an audio production and representation language.

• KLaTsL: A functional, typed language focused on linear algebra. Explores liquid typing and the idea of a dimensional type system, and presents syntax including matrix comprehensions and typechecked transformations. (stale presently)