| Spring 2020 | CSE 505: Graduate Programming Languages |
| Winter 2020 | CSE 341: Programming Languages |
| Spring 2019 | CSE P505: Graduate Programming Languages |
| Winter 2019 | CSE 341: Programming Languages |
| Autumn 2018 | CSE 505: Graduate Programming Languages |
| Spring 2018 | CSE 331: Software Design and Implementation |
| Winter 2018 | CSE 341: Programming Languages |
| Autumn 2017 | CSE 505: Graduate Programming Languages |
| Spring 2017 | CSE 599Z: Accurate Computing |
| Winter 2017 | CSE 331: Software Design and Implementation |
| Autumn 2016 | CSE 505: Graduate Programming Languages |
| Spring 2016 | CSE 599W: Systems Verification |
| Winter 2016 | CSE 331: Software Design and Implementation |
| Autumn 2015 | CSE 505: Graduate Programming Languages |
| Spring 2015 | CSE 341: Programming Languages |
| Winter 2015 | CSE 505: Graduate Programming Languages |
| Spring 2014 | CSE 341: Programming Languages |
| Winter 2014 | CSE 506: Proof Assistants |
| Autumn 2013 | CSE 505: Graduate Programming Languages |
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.