Project Yin-Yang for SMT Solver Testing : [Z3/CVC4 bugs: 1,560 (total) / 1,061 (fixed)]
[Reports: YinYang , OpFuzz , TypeFuzz ] Chancellor's Fellow at UC Davis until June 2019. He joined the UC Davis faculty in January 2003 after receiving his Ph.D. in Computer Science (with minor in Mathematics ) from UC Berkeley . He received a B.S. in Computer Science and a B.A. in Mathematics from UT Austin in 1995.

His research spans programming languages and compilers, software engineering, computer security, deep learning and education technologies. He is passionate about fundamental and practical innovations for building software. His work has received an ACM SIGSOFT Impact Paper Award (2018), an ICSE Most Influential Paper (MIP) Award (2022), a Google Scholar Classic Paper Award (2017), best/distinguished paper awards at top venues (ASPLOS, SOSP, PLDI x 2, OOPSLA x 2, EAPLS, TACAS, ISSTA x 2, ICSE x 2), best/distinguished artifact awards at top venues (ASPLOS x 2, OSDI, OOPSLA, PLDI), an ACM CACM Research Highlight, an NSF CAREER Award , Davis Outstanding Engineering Faculty Award, and multiple industrial faculty awards (Amazon, Cisco, Google x 3, Huawei, IBM, Meta, Microsoft, Mozilla). He is a Member of the Academia Europaea , and a Fellow of the ACM and of the IEEE. He also participates in the ACM Distinguished Speaker program.

He served on the steering committees of ISSTA and ESEC/FSE , served as an Associate Editor for ACM TOSEM , co-chaired SAS 2009 , program chaired ISSTA 2012 , and program co-chaired SIGSOFT FSE 2016 . He frequently serves on program committees of major venues (such as ICSE, FSE, ISSTA, PLDI, POPL, OOPSLA, and CAV).

His PhD/postdoctoral students also received much recognition, including a SIGSOFT Impact Paper Award , an ICSE Most Influential Paper (MIP) Award , a SIGSOFT Outstanding Dissertation Award and a UC Davis Zuhair A. Munir Best Dissertation Award ; they assumed tenure-track positions at major research universities (e.g., SMU , UCL , GaTech , Waterloo , SUNY Korea , HKUST , ECNU , CUHKSZ , NUS , CityUHK , CUHK ), R&D positions at major companies (e.g., Google, Facebook, Microsoft, Tencent , and Visa Research ), and scientific/technical leadership positions at successful early-stage companies (e.g., Viv Labs ).