Teaching

Boston University

• CS 599 G1 — Formal Methods in Security and Privacy (Spring 2024)
• CS 115 — Academic Writing in Computer Science (Fall 2023)
• CS 516 — Software Foundations via Formal Languages (Spring 2022)
• CS 518 — Formal Tools for Software Validation (Fall 2021)

Chalmers University of Technology

• Short Course on Differential Privacy: Theory and Verification in EasyCrypt
• Short Course on Concurrent ML