I’m an assistant professor at the Chinese University of Hong Kong (CUHK). I’m interested in the correctness and security of critical software systems such as compilers.