Award-Winning Research Pushes Beyond Yes-or-No Answers in Automated Reasoning
Three researchers in the School of Computer Science were recently awarded for their research on a fundamental problem in automated reasoning.
Recent Stories
Understanding the Data Center Building Boom
Tuesday, February 24, 2026
Student Wins International Programming Competition
Friday, February 13, 2026
CRNCH Summit To Tackle Future of Computing
Tuesday, February 10, 2026