Another automated-reasoning tool, used by Marijn Heule, a computer scientist at Carnegie Mellon University and an Amazon scholar, is what he colloquially calls “ brute reasoning ” (or, more ...

In a Q&A, innovative Yale computer scientist Theodore Kim talks about computer animation and winning a second Academy Award.