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