WOLFRAM

Wolfram Innovator Award

Wolfram technologies have long been a major force in many areas of industry and research. Leaders in many top organizations and institutions have played a major role in using computational intelligence and pushing the boundaries of how the Wolfram technology stack is leveraged for innovation across fields and disciplines.

We recognize these deserving recipients with the Wolfram Innovator Award, which is awarded at the Wolfram Technology Conferences around the world.

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.

All Recipients:

By Year:

By Area of Interest:

See More