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

cppssh

Coroutine-native SSH server library written in C++23

C++

mfl

Small C compiler written in OCaml, targeting LLVM IR

OCamlC

particle

2D particle simulator built with C++23, using Metal

C++Metal

ocaml-raytracer

Monte Carlo ray tracer

OCaml

knot

Simple floating notes app for macOS

SwiftSwiftUI

smhkd

Low-level macOS hotkey daemon, with a custom DSL

C++Objective-C++