Abstract: Derived deformation theory studies the formal neighborhoods of moduli spaces. The classical work of Kodaira-Spencer on deformation of complex manifolds tells that the dg Lie algebra A^(0,*)(X,TX) controls the deformations of the complex manifold. The example illustrates the following general principle: A dg Lie algebra gives rise to a deformation functor by considering the  Maurer-Cartan elements of the dg Lie algebra tensoring with the maximal ideal of an Artin local ring. This idea is explored by many people, including  Quillen, Deligne, Drinfeld,  Kapranov and Kontesevich. Later, Lurie and Pridham independently proved that the category of dg Lie algebra is indeed equivalent to the category of Formal Moduli problem. I will state their results and explain the idea of the proof.