Judea Pearl won a Turing award for a definition of causality
For reference, Judea Pearl won the ACM Turing award in 2011 "[f]or fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning."[1]