Matthew Cook

Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who is best known for having proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete. Provided by Wikipedia
1
Cellular Automata and Discrete Complex Systems [E-Book] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /