Nathan Mull
I'm a lecturer in the Department of Computer Science at Boston
University. My office number is CDS 907 and my email address
is (++ @bu.edu)nmmull. I'm interested generally in logic and
computing. I use the pronouns he/him/his.
Teaching
- CAS CS 132 Geometric Algorithms
- CAS CS 320 Concepts of Programming Languages
- CAS CS 392 Rust, in Practice and in Theory
- CAS CS 400 Type Theory and Mechanized Reasoning