Nels Martin

[LinkedIn] [GitHub] [Blog] [Resume]

Hello! My name is Nels. I'm a senior at the University of Washington studying Electrical and Computer Engineering. I'm interested in formal methods and machine learning, especially in the context of theorem proving.

Projects

[AutogramGenerator.com] ( ← try it!)

The first website that finds autogramic pangrams: sentences that describe their own letter counts. Front end: React/TypeScript/Next.js/Vercel. Back end: Rosette/Docker/Google Cloud Run.

[Correctness Checking and Memory Planning for ML Workloads]

Final group project for the UW graduate course CSE 507. We designed a domain-specific language (DSL) to express training pipelines and model architectures of ML workloads, and used Racket and Rosette to analyze their parameterizations and implicit dependencies, producing a proof-of-concept model correctness checker and memory planner.

[Truchet Tiles] ( ← try it!)

Enormously entertaining interactive patterns. Programmed in React/TypeScript.