
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
Iris Workshop 2022
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.