A finite W-algebra is an associative algebra constructed from a semisimple
Lie algebra and its nilpotent element. In this survey we review recent
developments in the representation theory of W-algebras. We emphasize various
interactions between W-algebras and universal enveloping algebras.Comment: The text of a sectional talk for ICM 2010. 21 page