Matching a UV theory onto a low-energy EFT can be efficiently accomplished with functional methods. The functional approach is conceptually appealing: all calculations are performed within the UV theory at the matching scale, and no prior determination of an EFT operator basis is required. In this talk, I will present a simple prescription for functional matching up to one loop order, which accommodates any relativistic UV theory that contains generic interactions among scalar, fermion and vector fields. I will also introduce STrEAM (SuperTrace Evaluation Automated for Matching), a Mathematica package that helps streamline the procedure.

TBA