I was honored to be nominated for the UW Distinguished Teaching Award in 2015.
Verifying Distributed Systems Implementations in Coq
DeepSpec Summer School 2018
abstract materials lectures
This was a short course introducing Verdi.