Resume
Academic Achievements
- - 2023 ACM SIGSOFT Distinguished Paper Award
- - 2022 ACM SIGSOFT Distinguished Paper Award
- - 2019-2021 Lynn ’84 and Bill Crane ’83 Faculty Fellow
- - 2019 ACM SIGSOFT Early Career Researcher
- - 2019 DARPA Young Faculty Award
- - 2018 Google Research Award
- - 2018 Facebook Research Award
- - 2018 Mozilla Research Award
- - 2017 TEES Young Faculty Fellow
- - 2016 NSF CAREER Award
- - 2015 Google Faculty Research Award
- - 2015 The 3rd Heidelberg Laureate Forum
- - 2013 ACM SIGPLAN PLDI Distinguished Paper Award
- - 2013 ACM SIGPLAN Research Highlights
- - 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award
- - Published multiple academic papers in top conferences such as ICSE, PLDI, and SC.
Research Experience
- Associate Professor, Computer Science & Engineering, Texas A&M University.
Education
- - Postdoc. Computer Science, University of Illinois at Urbana-Champaign, 2013-2014
- - Ph.D. Computer Science, Hong Kong University of Science and Technology, 2012
- - B.E. Electrical Engineering, National University of Defense Technology, China, 2008
Background
- Research Interests: Software engineering, programming languages, concurrency, runtime verification.