Brian Li, a CM research student, presented their Computational Mathematics research paper to their peers and supervisors on August 11th, 2023.
Brian was awarded the Best Speaker Award for his presentation on his research topic A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem.
Congratulations Brian on a job well done!
