Here is current (or recent) information teaching information for Warren A. Hunt, Jr.

  • Verification and Debugging. Spring, 2023.

  • Recursion and Induction. Fall, 2021.