By Richard LeComte
LEXINGTON, Ky. – Yuan Zhou, assistant professor of mathematics in the University of Kentucky’s College of Arts & Sciences, has received a $179,768 grant from the National Science Foundation through July 31, 2023.
The grant is titled “Collaborative Research: Next-Generation Cutting Planes: Compression, Automation, Diversity, and Computer-Assisted Mathematics.” Zhou is researching the interface of global optimization, computational semialgebraic geometry, computer-assisted theorem proving and software verification in ways that promise to improve “the training of undergraduate and graduate students in computational mathematics and research skills, as well as development of high-quality open-source research software.”
“Students will increase their proficiency with the real-world programming language Python and with software