From our origins in mathematical and technical computing, Wolfram technologies have gradually emerged as a major force in many other areas of computing. Passionate individuals and organizations have played a major role in helping advance the usage of our technologies. We recognize these deserving recipients with the Wolfram Innovator Award, which is awarded at the Wolfram Technology Conferences around the world.

Innovator Award
Winners: View All Winners
2011 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.

Dana Scott