Hao Sun

Summary

Hao Sun is a Ph.D. candidate in the Advanced Software Technologies Lab at ETH Zurich, working on making kernel components safe and correct by construction.