Wrong, proof of work was first described in 1993, and the algorithm used by Bitcoin was created in 1997 by Adam Back, who later became active in Bitcoin community and is the founder and CEO of Blockstream.

As for timestamping, the concept of it was known for centuries or even millennia. What you are referring to when you talk about Stuart Haber and W. Scott Stornetta is a data structure that utilizes timestamping and cryptography to achieve immutability. It's an important predecessor of Satoshi's blockchain, but it's not the same.