I am an assistant professor in the computer science department at UCSB. I received my Ph.D. in computer science from UT Austin and Prof. Isil Dillig is my fantastic adviser. I spent a wonderful year as a Postdoc at the University of Washington hosted by Prof. Ras Bodik. Even earlier, I was a visiting student at Stanford University under the supervision of Dr. Saswat Anand and Prof. Alex Aiken in 2013.
My research interests include programming languages, program analysis and verification, program synthesis, and security. More specifically, I want to build automated tools to guarantee the desired behavior of a system in a sound, precise and scalable way. I am also interested in applying program synthesis/analysis to build and break systems, tackling security and performance problems in mobile devices and blockchain.
I am looking for self-motivated and talented students at UCSB. If you are interested in building cutting-edge program synthesis/analysis framework that combines the power of logical reasoning and machine learning, please drop me an email with your CV. Got my first Ph.D. student!I am teaching CS162 in Winter 2020.
Ph.D. in Computer Science, 2018
University of Texas at Austin
MS in Computer Science, 2008
NSF-SaTC (core) medium, 2019-2022.
PLDI distinguished paper award, 2018.
UT Austin Graduate School Dissertation Fellowship, 2018.
ACM SIGPLAN PAC award, 2017.
Symantec Graduate Fellowship, finalist, 2017.
IBM Ph.D. Fellowship, finalist, 2016.
MSR Ph.D. Fellowship, finalist, 2015
Program Committee: PLDI’20 (ERC), POPL’20 (ERC), CAV’20, CAV’19, POPL’18 (AEC), ECOOP’18 (AEC), CAV’16 (AEC), MOBILESoft’16 (Publicity Chair), and MOBILESoft’15
External Review: POPL’18, CAV’18, TSE’18 (Transactions on Software Engineering), POPL’17, OOPSLA’16, PLDI’16, and PLDI’15