I'm a lecturer in the Department of Computer Science at Boston University. My office number is CDS 907 and my email address is (++ @bu.edu) nmmull. I'm interested generally in logic and computing. I use the pronouns he/him/his.