Zhengyao Lin

Welcome! I'm an undergraduate student studying Mathematics and Computer Science at the University of Illinois at Urbana-Champaign.

I'm broadly interested in formal methods, compilers, and programming languages. My recent projects focus on ensuring the correctness of complex systems through a dynamic and non-uniform approach such as translation validation and runtime proof object generation.

[CV] [DBLP] [Google Scholar] [GitHub] [Stats]