TA for Programming Proofs

Undergraduate/Graduate course, The University of Chicago, Prof. Rand, 2024

TA for advanced undergrad and Ph.D. student teaching Software Foundations volume one and two as an introduction to formal verification.