Dr. Meng Xu joins the Cheriton School of Computer Science as an Assistant Professor in July 2021. He obtained his Ph.D at the Georgia Institute of Technology.
Meng Xu’s research has focused on the Linux operating system, which is widely deployed on the Internet and is the basis for the commercial Android system used in many smartphones. Using software analysis techniques, Meng’s research automates the search for implementation faults in Linux. These techniques are challenging, since too many false positives will overwhelm any developer, yet any false negative may be enough for an attack. Using Meng’s research more than 100 implementation faults in Linux have been found and later fixed. These results underpin the applicability of his research to real-world security problems.