Zero-knowledge proofs, succinct proofs, multiparty computation, etc. Co-taught with Wilson Nguyen and Lior Rotem. [site]

A programming-oriented 10-day course for high school students. Encryption, hashing, digital signatures, proof-of-work, block-chain. [site]

Zero-knowledge proofs, succinct proofs, multiparty computation, etc. Co-taught with Wilson Nguyen and Neil Perry. [site]

Zero-knowledge proofs, succinct proofs, multiparty computation, etc. Co-taught with Saba Eskandarian and Riad Wahby. [site]

The miracle of global, federated communication. We redesigned the assignments around a modular TCP implementation; e.g., the outbound and inbound stream are implemented separately despite using the same packets. [site]

Functions, especially algebraic ones. Also: lots of puzzles!

circuits, assembly, Arduino, Elm [more] [projects]

Python, functional programming

Special Relativity, Mechanics, Electricity & Magnetism

Calculus, Multivariate Calculus, Linear Algebra, Differential Equations, Probability & Statistics, Discrete Math

sophomore/junior level

The Rust type system. The first (real) course I taught. [site]

phylogenetics, population genetics

groups, rings

assembly, C, networking APIs, computer architecture

C++, data structure implementation

(CNC) mills, (CNC) lathes, wood, sheet metal

Python, functional programming, circuits, assembly, Prolog, Racket, Java

combinatorics, number theory, graph theory

Optics, Experimental Design, Thermodynamics

classical mechanics, once a week, in my living room

for classes offered through CSUS's Academic Talent Search