Yuliang Li

Email: yul206@eng.ucsd.edu

About me

I joined the Megagon Labs as a research scientist.

I am a PhD graduate from 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 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.


PhD Thesis


Conference Papers

Journal Papers


Selected Awards from Programming Contests

Selected Awards