Recipient of ACM SIGSOFT Impact Paper Award (2018), ICSE Most Influential Paper (MIP) Award (2022), Most Influential OOPSLA Paper Award (2025), Google Scholar Classic Paper Award (2017), and multiple best/distinguished paper awards at top venues; served on steering committees of ISSTA and ESEC/FSE, as an Associate Editor for ACM TOSEM, co-chaired SAS 2009, program chaired ISSTA 2012, and will program chair PLDI 2027; his PhD/postdoctoral students have also been recognized with various awards and hold positions at major research universities, R&D roles at leading companies, and leadership positions at startups.
Research Experience
Full professor in the Department of Computer Science at ETH Zurich since August 2018; until June 2019, he was a full professor in Computer Science and a Chancellor's Fellow at UC Davis; joined the UC Davis faculty in January 2003 after receiving his Ph.D. from UC Berkeley.
Education
He received a B.S. in Computer Science and a B.A. in Mathematics from UT Austin in 1995. He obtained his Ph.D. in Computer Science (with a minor in Mathematics) from UC Berkeley in 2002.
Background
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.
Miscellany
Member of Academia Europaea, Fellow of the ACM and IEEE; participates in the ACM Distinguished Speaker program; passionate about innovative work in software construction.