Ha. It was Huron High in Ann Arbor, a very long time ago. And the teacher retired after the class was over.

On the other hand, when I took computer science in my junior year of high school, the first thing we learned was Hoare preconditions, postconditions, loop invariants (we used the textbook How to Solve It By Computer). An unexpected and traumatic experience that turned me off from CS for several years.