Her work explores how new AI technology is infiltrating our lives, shaping the content we consume on social media and affecting the people behind the screens. She graduated from the University of ...

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 ...

As a young art major at Viterbo University in La Crosse, Wisconsin, Dr. Barbara Johnson once stood before blank canvases waiting for inspiration to strike. It arrived instead in a computer lab in 1984 ...