Teaching
Boston University
CS 516 — Software Foundations via Formal Languages (Spring 2025)
CS 599 G1 — Formal Methods in Security and Privacy (Spring 2024)
CS 115 — Academic Writing in Computer Science (Fall 2023)
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
Alley Stoughton
(
[email protected]
)