** Automated EFT matching ** 

The goal is to write a code (e.g. python, Mathematica) that takes any BSM model in a symbolic form (e.g. Feynrules) and calculates SMEFT Wilson coefficients in the low-energy effective theory up to one loop precision. The matching between BSM and SMEFT can be done using universal formulas recently obtained using functional (path integral) approach. 

Contributors: Adam Falkowski, Sudhir Vempati, Rafiqul Rahaman, Ashwani Kushwaha, Mathew Arun Thomas, Ritesh Singh, Jérémie Quevillon, Shiuli Chatterjee, (your name here), ... 

== References == 
- Tree level: http://arxiv.org/abs/arXiv:1711.10391

- Universal effective action at one loop: http://arxiv.org/abs/arXiv:1706.07765
 
- More about functional matching methods: http://arxiv.org/abs/arXiv:1604.01019 http://arxiv.org/abs/arXiv:1610.00710