Nathan Mull

Office	CDS 907
Email	(++ @bu.edu) nmmull
GitHub	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.