I’m an incoming assistant professor at the Chinese University of Hong Kong (CUHK). I’m now a PostDoc at ETH Zurich, advised by Prof. Zhendong Su. I’m interested in the correctness and security of critical software systems such as compilers.