Here is current (or recent) information teaching information for
Warren A. Hunt, Jr.
Verification and Debugging. Spring, 2023.
Recursion and Induction. Fall, 2021.