Welcome to Zongyuan Liu
Zongyuan Lui joins CPV as PhD student from October 1. Until then he works as a reserach ass. Zongyuan completed a BSc at Southeast University, China in 2019. After one year at the master's degree in Aarhus, he transferred to PhD, and is now making use of Iris logic to verify real world hypervisors.