Currently Teaching

None (Winter 2019)

Upcoming Classes

[CMSC 22300, Spring 2019] Functional Programming
[CMSC 32001, Spring 2019] Topics in PL

Taught @UChicago


special topics

[CMSC 32001, Spring 2018] Topics in PL: Direct Manipulation Programming
[CMSC 32001, Spring 2017] Topics in PL: Program Synthesis
[CMSC 32001, Spring 2016] Topics in PL: Program Synthesis
[CMSC 32001, Spring 2015] Topics in PL: Types and Contracts

elm + functional data structures

[CMSC 22300, Spring 2017] Functional Programming
[CMSC 22300, Winter 2016] Functional Programming
[CMSC 22300, Winter 2015] Functional Programming

haskell

[CMSC 16100, Fall 2018] Honors Introduction to Computer Science I
[CMSC 16100, Fall 2017] Honors Introduction to Computer Science I
[CMSC 16100, Fall 2016] Honors Introduction to Computer Science I
[CMSC 16100, Fall 2015] Honors Introduction to Computer Science I
[CMSC 16100, Fall 2014] Honors Introduction to Computer Science I

Taught @UCSD

[CSE 130, Winter 2014] Programming Languages: Principles and Paradigms

Taught @UPenn

[SAAST, Summer 2007] Computer Science (Lecture Notes)
[CSE 399, Spring 2007] C# Programming