Zhengyao Lin

Welcome! I'm a 4th-year undergraduate student studying Mathematics and Computer Science at the University of Illinois at Urbana-Champaign. I'm broadly interested in software verification, synthesis, and automated theorem proving.

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

Publications

Preprints

Teaching

I am/was a course assistant at UIUC for the following courses: