I’m an Assistant Teaching Professor at Khoury College of Computer Sciences at Northeastern University.
I got my PhD at the PRL Lab, studying programming languages with Amal Ahmed. My dissertation was about the semantics of language interoperability.
Before that, I helped start and run a worker-owned software contracting company, Position Development. I studied math and computer science undergrad at Brown University where I worked with Shriram Krishnamurthi, helping to design the Pyret programming language.
The easiest way to get in touch is via email: [email protected]. Note that if you have another email address for me, it will probably work as well.
You’re welcome to come talk to me about anything (related to what I’m teaching, research I’ve done, or really, anything else), though students who are currently enrolled in classes I’m teaching will get preference.
Fall 2023, I’ll have in-person drop-in hours, Tuesdays 11:00am-1:00pm, at my office, 317 Meserve Hall.
If you are unable to make that time, or would like to meet virtually, reach out via email.
Fall 2023: CS2500: Fundamentals of Computer Science (Accelerated) and CS2500: Fundamentals of Computer Science
Spring 2023: CS2800: Logic & Computation
Fall 2022: CS2500: Fundamentals of Computer Science 1
Fall 2019: CS4910: Verified Compilers and Multi-Language Software
Northeastern University, 2022. PDF.
WGT 2020. PDF.
ICFP 2019. PDF.
ML 2018. PDF.
SNAPL 2017. PDF.
ITiCSE 2014. PDF.
- How to prove a compiler fully abstract - April 19, 2018
- How to prove a compiler correct - January 16, 2018
A current CV is available in PDF form.
I’m at github.com/dbp & dbp.bsky.social.