As noted in another comment, the genus of the redwood is Sequoia. The trees with the common name sequoia (which are a different genus) tend to be shorter than redwoods but also much thicker in their trunks. They are native to the mountains further inland (you'll find them in Yosemite as well as (unsurprisingly) Sequoia/King's Canyon National Park). I'm pretty sure that the Stanford tree is, in fact, a Sequoia and not a sequoia.

The coastal redwood is sequoia sempervirens.

The giant sequoia is sequoiadendron giganteum.

So depending on how you look at it, either species is or ain’t a sequoia or vice versa or both.