Zongyuan Liu

A photo of Zongyuan Liu

I’m a third-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.


VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A


A Separation Logic for Communicating Virtual Machines