Zhengyao Lin

Zhengyao is a 4th-year undergraduate student majoring Math & CS. He is excited about how mathematical formalisms can help us improve software quality. His work in formal methods has been published at top conferences such as ASPLOS and CAV.