About Me

I am a PhD candidate in Computer Science at Syracuse University, advised by Prof. Kristopher Micinski. My research interests include programming language theory, database systems, and high-performance computing. Most of my previous research focused on parallelizing Datalog engines, a declarative logic programming language has deep roots in database systems and recently widely applied in program analysis and artificial intelligence. Most of my research can be categorized into 3 parts: (1) building faster Datalog engines can run on HPC hardware (such as GPUs), (2) finding the new semantic improvements can help static analysis and neuro-symbolic reasoning, (3) Some unified theory can ends the fragmented datalog features. I have published several papers in top conferences, including VLDB, NeurIPS, ASPLOS, CLUSTERs, and AAAI.

My opinion on various different programming languages:

“A programming language that doesn’t affect the way you think about programming, is not worth knowing.” — Alan Perlis