Nathan Mull
Lecturer
Boston University
CDS 907
(++ @bu.edu) nmmull
I'm a lecturer in the Department of Computer Science at Boston University. Outside of teaching, I'm interested generally in logic and computing. I've spent some time thinking about proof complexity and SAT-solvers, and pure type systems and normalization. Check my CV for more information.
Teaching
- CAS CS 320 Concepts of Programming Languages Spring 2024
- CAS CS 400 Type Theory and Mechanized Reasoning Spring 2024
- CAS CS 132 Geometric Algorithms Fall 2023
Links
Log
- 2023-09-11
The application period is now over but feel free to send me a message if you're interested in the project.
- 2023-08-24
I'm acting as a supervisor for a UR2PhD project on correct-by-construction code design.
Apply if you're interested!