Ziyi Guan

I am a second year Ph.D. student at the EPFL theory group, where I am fortunate to be advised by Mika Göös and Alessandro Chiesa. I am interested in Theoretical Computer Science, in particular complexity theory.

Paper

Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field [eprint]
Alessandro Chiesa, Jonathan Bootle, Ziyi Guan, and Siqi Liu.

Teaching

Spring 2023: Teaching assistant for Theory of Computation at EPFL
Fall 2022: Teaching assistant for Foundation of Probabilistic Proofs at EPFL
Spring 2022: Teaching assistant for Foundation of Probabilistic Proofs at EPFL
Fall 2020: Teaching Assistant for Great Ideas in Theoretical Computer Science at CMU
Spring 2020: Teaching Assistant for Continuous Time Finance at CMU and tutor for Great Ideas in Theoretical Computer Science at CMU
Fall 2019: Teaching Assistant for Discrete Time Finance at CMU
Spring 2019: Teaching Assistant for Integration and Approximation at CMU

Education

École polytechnique fédérale de Lausanne 2021.9 -

Ph.D. candidate in Computer Science

Carnegie Mellon University 2017.9 - 2020.12

Bachelor of Science in Computer Science with University Honors
Bachelor of Science in Mathematical Sciences with University Honors

Employment

Google 2020.6 - 2020.8

Software engineering intern at Shanghai, China

Google 2019.5 - 2019.8

Engineering practicum at Mountain View, CA, USA