His most recent research fields include formal hardware and software verification , system testing , and computer science education .
Dr. Bryant is currently a Professor at the School of Computer Science .
Bryant 's most recent research fields include formal hardware and software verification , system testing , and computer science education .
Dr. Bryant is currently a Professor at the School of Computer Science .