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 132 Geometric Algorithms Fall 2023
Log
2023-08-24 I'm acting as a supervisor for a UR2PhD project on
correct-by-construction code design. Apply if you're interested!
2023-09-11 The application period is now over but feel free to send
me a message if you're interested in the project.