I recently discovered that I committed 5+ years to go through a Computer Science degree without even ever learning about this guy and his work. Big L!
Discussion
Who is it?
Robert Floyd.
"He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978."
tl;dr turns out program preconditions, postconditions and invariants are not just silly comments and some programming languages have tooling to mathematically prove that the code is correct according to specs.
So I'm just learning about the "science" in "computer science" some 10 years later 🤦♂️
He was a legend; every computer science student should learn about him. I mean, he laid the foundation of what we have today.