Dr. Mai Zheng’s research focuses on detecting various bugs in practical software systems (e.g., Linux kernel, distributed file systems, databases) that may affect data integrity, scalability, availability, and other desirable properties. For more information, please visit https://www.ece.iastate.edu/~mai/.