These lecture notes aim to provide a working knowledge of \(\infty \) -categories and derived algebraic geometry, with the goal of introducing derived moduli stacks of bundles, sheaves, or complexes. We will also explain how to set up formalisms of cohomology and virtual intersection theory in this language.