Eric Shen

Math and CS @ Cornell

I'm a student at Cornell University studying Mathematics and Computer Science.

I'm a member of Cornell Electric Vehicles on the Telemetry subteam. I'm also Director of Recruitment for Cornell Algorithmic Trading Club, and an Associate at Cornell Data Strategy.

I'm interested in formal methods and correctness in software.

Projects

mfl

Small C compiler written in OCaml, targeting LLVM IR

OCaml C

ocaml-raytracer

Monte Carlo ray tracer

OCaml

knot

Simple floating notes app for macOS

Swift SwiftUI AppKit

smhkd

Low-level macOS hotkey daemon, with a custom DSL

C++

rspotify-cli

Spotify CLI

Rust