Zhengyao Lin

Welcome! I'm an incoming PhD student in Computer Science at Carnegie Mellon University. I'm interested in automated and interactive ways to verify software.

Previously I got my undegraduate degree in Mathematics and Computer Science at the University of Illinois at Urbana-Champaign, where I had an incredible time working with professors Vikram Adve, Grigore Rosu, and Madhusudan Parthasarathy.

zhengyao

Contact

Email: zhengyal at cs.cmu.edu
[CV] [DBLP] [Google Scholar] [GitHub]

Publications

Teaching

I was a teaching assistant for the following courses: