Zongyuan Liu

A photo of Zongyuan Liu

I’m a second-year Ph.D. student in computer science at Aarhus University, advised by Lars Birkedal. I am interested in program verification.

I can be reached at zy dot liu at cs dot au dot dk.


Mechanised Robust Safety for Virtual Machines Communicating above FF-A


A Separation Logic for Communicating Virtual Machines