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.

Publications

Talks