Manuel Kauers
Together with Doron Zeilberger and Christoph Koutschan , Kauers proved two famous open conjectures in combinatorics using large scale 
<triplet> Doron Zeilberger <subj> combinatorics <obj> field of work