Teaching

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Jacob Van Geffen, Oliver Flatt, Riya Dheer, Nuha Qadir, Anirudh Suresh, Deeksha Vatwani

Transition systems, inductive invariants, type systems, Hoare logic

Co-taught with James R. Wilcox

TA: Gus Smith, Audrey Seo, Anjali Pal

Transition systems, inductive invariants, type systems, Hoare logic

Co-taught with James R. Wilcox

TA: Brendan Murphy, Jack Zhang, Mike He, Yihong Zhang

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Andrés Paz, Jennifer Tao, Kenny Wu, Kevin Zhu, Michael Flanders

Transition systems, inductive invariants, type systems, Hoare logic

TA: Benjamin Kushigian

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Adam Anderson, Daniel Snitkovskiy, Julie L. Newcomb, Levi Coffman, Melissa Hovik

Transition systems, inductive invariants, type systems, Hoare logic

TA: James R. Wilcox

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Brendan Murphy, John Toman, Kush Gupta, Meha Agarwal, Melissa Hovik, Sven Hansen

Transition systems, inductive invariants, type systems, Hoare logic

TA: Talia Ringer

Specification, invariants, testing, debugging, modular design

TA: Alexey Beall, Chen Qiu, Cody Kesting, Hongtao Huang, Jake Sippy, Leah Perlmutter, Tim Chirananthavat, Weifan Jiang, Yifan Xu, Zhu Li

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Chandrakana Nandi, Christopher Mackie, Jifan Zhang, Kush Gupta

Transition systems, inductive invariants, type systems, Hoare logic

Co-taught with Leonardo de Moura

TA: Jared Roesch

Special topics seminar on numerical computing and computational fabrication

Specification, invariants, testing, debugging, modular design

TA: Chen Qiu, Christopher Chen, Cody Kesting, Garrett Marconet, Lucy Zhu, Matthew Yang, Qian Yan, Viktor Farkas, Zhengyang Gao

Transition systems, inductive invariants, type systems, Hoare logic

TA: Konstantin Weitz

Special topics seminar on formally verifying systems implementations

Co-taught with Xi Wang, Bryan Parno

Specification, invariants, testing, debugging, modular design

TA: Christopher Chen, Deric Pang, Justin Bare, Marcella Cindy Prasetio, Vinod Rathnam

Transition systems, inductive invariants, type systems, Hoare logic

TA: Doug Woos

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Gurwinder Gulati, Max Sherman, Riley Wilk, Stuart Pernsteiner

Transition systems, inductive invariants, type systems, Hoare logic

TA: Eric Mullen

Informal operational semantics, functional programming vs. OOP, static vs. dynamic typing

TA: Armando Diaz Tolentino, Max Sherman, Riley Klingler

Special topics seminar on dependent types and systems verification

Transition systems, inductive invariants, type systems, Hoare logic

TA: James R. Wilcox