Winter 2021 | CSE 341: Programming Languages |
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.