 He is known for introducing Khovanov homology for links, which was one of the first examples of categorification.Khovanov graduated from Moscow State School 57 mathematical class in 1988.He earned a PhD in mathematics from Yale University in 1997, where he studied under Igor Frenkel.