Recent courses (since 2015)

CSCI1101: Computer Science 1. Spring 2015, Fall 2018, Spring 2020, Spring 2023

CSCI1701: Privacy and Fairness in the Digital World. (An interdisciplinary "Enduring Questions" course, paired with UNAS1710: Privacy and Fairness in Law, taught by Prof. Alfred Yen of the Boston College Law School). Fall 2019.

CSCI2243: Logic and Computation. Spring 2015, Fall 2016, Spring 2017.

CSCI2244: Randomness and Computation. Spring 2018, Spring 2019, Fall 2021, Spring 2024.

CSCI3381: Cryptography. Fall 2015, Spring 2017, Spring 2021.

CSCI3384: Computability and Computational Complexity. Spring 2022, Fall 2023. (Also Spring 2016 and Fall 2018 when it was listed as CSCI3390: Topics in Computer Science)

CSCI3392/MATH4312: Logic for Mathematicians and Computer Scientists, Fall 2024, Fall 2025.

CSCI3382/MATH4313: Formalizing Mathematics, Spring 2026

Other

Supervised numerous independent study and senior thesis projects. In recent years these have included theses on Probabilistically checkable proofs (Minghao Liu), Privacy and de-anonymization attacks (Daniel Brett), Post-quantum cryptography (Christina MacKenzie), Formalization of Hilbert's geometry with an automatic proof assistant (Hankai Chen)