Nathan Mull
Boston University
CDS 907
(++ 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.


CAS CS 132 Geometric Algorithms Fall 2023



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.