The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

The Illinois Workforce and Education Research Collaborative as part of the Discovery Partners Institute was awarded a $1 million gift for research on computer science education in Illinois on Feb. 2.

AI research on computer vision is almost always used in ways that enable surveillance, according to a new Nature study. Computer vision is what allows driverless cars to navigate, automatic tagging of ...