This text is a survey of derived algebraic geometry. It covers a variety of
general notions and results from the subject with a view on the recent
developments at the interface with deformation quantization.Comment: Final version. To appear in EMS Surveys in Mathematical Science