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.
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.