# Nathan Mull

Office | CDS 907 |

(++ @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.

## 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!~~