Teaching

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.

 

Summer School

Verifying Distributed Systems Implementations in Coq
DeepSpec Summer School 2018
  materials   lectures  

This was a short course introducing Verdi.