Dana Scott
Carnegie Mellon University
Areas: Computer Science, Mathematics
Dana Scott was an early user of Wolfram technologies in teaching, including developing a Mathematica-based course in projective geometry. The co-inventor of nondeterministic finite automata, winner of the 1976 ACM Turing Award, and founder of domain theory, he continues to employ new Mathematica functionality in innovative ways, for example by using SatisfiabilityInstances to find tilings of pentominoes.