I am a postdoc research fellow at UCL Programming Principles, Logic, and Verification Group, working with Professor Alexandra Silva. Prior to that, I was a Ph.D. student at Boston University supervised by Professor Marco Gaboardi.
My works range over a spectrum of practical and theoretical problems in the field of Kleene Algebra.
You can find out more about my research, teaching, and experiences in my research statement, teaching statement, DEI statement, and CV.
Nov 2024 --- Our paper "CF-GKAT: Efficient Validation of Control-Flow Transformations" is accepted at POPL 2025. Hope to see you in Denver, Colorado!
Oct 2024 --- Our paper "Kleene algebra with commutativity conditions is undecidable" is accepted at CSL 2025.
Oct 2024 --- I have joined PPLV groups of UCL as a postdoc! I am honored to work with Prof. Alexandra Silva, and her talented group.
Sep 2024 --- I will be attending NEPLS 2024 at NEU!
Aug 2024 --- I have finished my Ph.D. at Boston University!
I enjoy cooking, food, coffee, gardening with my wife, and hang out with my pet rabbits. I sometimes read about coffee and old Chinese poetry; I kept a tiny blog of some poetries and lyrics I translated and wrote. These translations are generally terrible, but I am trying to get better.