K3 surfaces are surfaces with trivial canonical bundle and vanishing first cohomology of the structure sheaf; they are one of the most well-studied classes of Calabi-Yau varieties. I will present some of their basic properties and discuss how they are in essence completely determined by their Hodge theory via the Global Torelli theorem. Time permitting, I will make some remarks about a derived generalization of the Torelli theorem.