Yuliang Li

Email: yul206@eng.ucsd.edu

About me

I am a 6th year Computer Science PhD stduent in UC San Diego (UCSD). My advisors are Alin Deutsch and Victor Vianu.
I am currently working on verification of data-driven workflows, a research direction that lies in the intersection of Database Theory, Software Model Checking and Business Process Management. Recently, I am also interested in high-level specification languages and automatic verification for smart contracts and Blockchain. Before joining UCSD, I obtained my undergradate degree in Computer Science from The Hong Kong University of Science and Technology. During my undergraduate, I was also interested in Data Mining.

I was an intern in Google Research during 2013 Summer and in Microsoft Research during 2014 Summer. I was an intern in IBM Thomas J. Watson Research Center during 2017 Summer.



Conference Papers

Journal Papers


Selected Awards from Programming Contests

Selected Awards