I’m a fourth-year Ph.D student in the Logic and Semantics group at Department of Computer Science, Aarhus University, advised by Lars Birkedal. My research area is program verification. I am interested in developing tools for improving correctness and security of system software. Currently, I'm working with Jean Pichon-Pharabod on building advanced program logics for very relaxed memory models.
I can be reached at zy dot liu at cs dot au dot dk.