He is the director of the Software Security Laboratory which focuses on areas of security, verification, and program analysis techniques with the aim of improving the correctness and reliability of software systems. Dr. Yu was an invited speaker at the 2014 Big Data Workshop in Hong Kong, in April 2014, and he received the Outstanding Dissertation Award from the Computer Science Department at UC, Santa Barbara, in June 2010 for his dissertation titled: ``Automatic Verification of String Manipulating Programs.''