yizhou5 [at] andrew [dot] cmu [dot] edu
2128D, Collaborative Innovation Center, 4720 Forbes Ave, Pittsburgh, PA, 15213
Hello there. I'm Yi (pronounced as the letter "e"). Somewhere on this page you might see a pictorial representation of me, riding on a bus in the good old days, not having to worry about the pandemic.
I'm currently a Ph.D. student at CMU, where I have the privilege to have Bryan Parno as my advisor. Prior to that, I received my B.S. and M.S. from UIUC, where I was fortunate to have Michael Bailey as my advisor.
My current research interest is mainly in applied formal methods, where we use formal analysis and proofs to ensure the correctness and security of real world software systems.
In my free time I enjoy playing the electric guitar, despite being terrible at it.
This website's template was shamelessly copied from Deepak Kumar.