I will introduce the formalism of in perturbative algebraic quantum field theory, which is a mathematically rigorous framework that allows one to construct physically relevant QFT models. It combines methods of microlocal analysis with perturbative methods that can be linked to Feynman diagram combinatorics.