Zhangyang “Atlas” Wang, associate professor in the Chandra Family Department of Electrical and Computer Engineering, has been awarded a research grant from the National Science Foundation through the Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program.