Ziyi Guan

Paper

1. Depth-3 Circuits for Inner-Product [ECCC] [slides]
   Mika Göös, Ziyi Guan, and Tiberiu Mosnoi.
   MFCS 2023 (48th International Symposium on Mathematical Foundations of Computer Science)


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

Teaching

• Fall 2023: Teaching assistant for Foundation of Probabilistic Proofs at EPFL
• Summer 2023: Teaching assistant for Foundations and Frontiers of Probabilistic Proofs at Zurich, Switzerland
• 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