I am an incoming 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 wide spectrum of theoretical and real-world problems in the field of Kleene Algebra.
You can find out more about my research and experiences in my CV and research statement
Oct 2024 --- Our paper "CF-GKAT: Efficient Validation of Control-Flow Transformations" is conditionally accepted at POPL 2025. Hope to see you at Denver, Colorado!
Sep 2024 --- I will be attending NEPLS 2024 at NEU!
Sep 2024 --- I am joining PPLV groups of UCL as a postdoc!
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.