🌚

Zongyuan Liu

Ph.D student @ Department of Computer Science, Aarhus University

I'm a first year Ph.D student supervised by Lars Birkedal. My research interest is program verification.

Recent Updates

Last Modified: Nov 3, 2020.