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.
Contact
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.
Drop-in Hours
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 2024, I’ll have in-person drop-in hours, Mondays 1:30-2:30pm and Wednesdays 3:00pm-4: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.
Teaching
Fall 2024: CS2500: Fundamentals of Computer Science
Spring 2024: CS2800: Logic & Computation
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
Dissertation
Northeastern University, 2022. PDF.
Publications
WGT 2020. PDF.
ICFP 2019. PDF.
ML 2018. PDF.
SNAPL 2017. PDF.
ITiCSE 2014. PDF.
Blog
- How to prove a compiler fully abstract - April 19, 2018
- How to prove a compiler correct - January 16, 2018
CV
A current CV is available in PDF form.
Links
I’m at github.com/dbp & dbp.bsky.social.