Zhizhen Cai

About

My lovely photo

I'm Zhizhen (Cathy) Cai, first-year PhD student in UIUC CS. Before that I got my B.E. in Computer Science at University of Science and Technology of China.

I'm interested in system verification and want to make it a bit easier for everyone to use verified systems.

I'm open to interesting discussions at [email protected]

Publications

Past Present Future

Misc