Zach Hansen joins the Department of Computer Science as an assistant professor. A Bozeman, Montana native, he earned his B.S. in Computer Science from Texas Tech University and his Ph.D. in Computing and Information Science from the University of Nebraska Omaha.
Hansen’s interest in Knowledge Representation and Reasoning, a branch of symbolic AI focusing on building transparent and reliable AI systems, took root during his undergraduate years at Texas Tech. As a firm advocate for trustworthy AI, his graduate work centered on formally verifying the correctness of logic programs using automated theorem provers.
At Boise State, he leads the Knowledge Representation and Automated Reasoning (KRAR) Lab, focusing on answer set and logic programming, mathematical logic, software verification, automated reasoning, and neurosymbolic AI. An avid hiker, climber, and skier, Hansen says the combination of Boise State’s strong AI emphasis and the nearby mountains makes the move feel like a homecoming.
