Teaching

Spring 2021	CSE 505: Graduate Programming Languages
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.

 

Summer School