He received his Ph.D. from Indiana University Bloomington in 2017. His research interests include protecting computer systems through discovering and solving new types of design and logic problems in commodity systems, including iOS, OS X, Android, AWS, etc, and high-profile applications on them. What he discovered and solved are typically fundamental design problems that have practical impacts. With the in-depth understanding of systems and why/how security problems can indeed happen, he invented solutions to find security problems and protect systems automatically. His works were published in top-tier security conferences including IEEE S&P, ACM CCS, NDSS etc. and were widely covered by media including Time, CNN, Forbes, Fox News, Yahoo, etc.