Ziyi Guan

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

Papers

  1. Quantum and Classical Communication Complexity of Permutation-Invariant Functions [arXiv]
    Ziyi Guan, Yunqi Huang,     Penghui Yao, and Zekun Ye.
    STACS 2024 (41st International Symposium on Theoretical Aspects of Computer Science)

  2. On the Security of Succinct Interactive Arguments from Vector Commitments [ePrint] [slides]
    Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, and Nicholas Spooner.

  3. On Parallel Repetition of PCPs [ePrint] [slides]
    Alessandro Chiesa, Ziyi Guan, and Burcu Yıldız.
    ITCS 2024 (15th Innovations in Theoretical Computer Science)

  4. Security Bounds for Proof-Carrying Data from Straightline Extractors [ePrint][slides]
    Alessandro Chiesa, Ziyi Guan, Shahar Samocha and Eylon Yogev.

  5. 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)

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

Talks

  1. Security Bounds for Proof-Carrying Data from Straightline Extractors [slides]

  2. On the Security of Succinct Interactive Arguments from Vector Commitments [slides]

  3. On Parallel Repetition of PCPs [slides]

  4. Depth-3 Circuits for Inner-Product [slides]

Supervising

  1. Mathias Marty (EPFL, Master in Computer Science)
    • 2023.11-, EPFL Master's Thesis
  2. Annalisa Barbara (Bocconi University, Master in Computer Science)
    • 2023.9- ,
    • 2023.6-2023.9, Summer @ EPFL
  3. Keming Ouyang (University of Michigan, Ann Arbor, Bachelor in Computer Science)
    • 2023.6-2023.9, Summer @ EPFL
  4. Burcu Yıldız (EPFL, Master in Computer Science)
    • 2023.9- , EPFL Research Scholar
    • 2023.3-2023.9, Master Semester Project: On Parallel Repetition of PCPs [ePrint]
  5. Nikolaos Efthymiou (EPFL, Master in Computer Science)
    • 2023.1-2023.6, Master Semester Project
  6. Zihan Yu (EPFL, Master in Computer Science)
    • 2023.11- , Master Optional Semester Project
    • 2022.1-2022.6, Master Semester Project
  7. Andrea Byku (ETH Zurich, Master in Cyber Security)
    • 2022.1-2022.6, Master Semester Project

Teaching

  1. [Spring 2024] Head teaching assistant for Theory of Computation at EPFL
  2. [Fall 2023] Teaching assistant for Foundation of Probabilistic Proofs at EPFL
  3. [Summer 2023] Teaching assistant for Foundations and Frontiers of Probabilistic Proofs at Zurich, Switzerland
  4. [Spring 2023] Teaching assistant for Theory of Computation at EPFL
  5. [Fall 2022] Teaching assistant for Foundation of Probabilistic Proofs at EPFL
  6. [Spring 2022] Teaching assistant for Foundation of Probabilistic Proofs at EPFL
  7. [Fall 2020] Teaching assistant for Great Ideas in Theoretical Computer Science at Carnegie Mellon Univerisity
  8. [Spring 2020] Teaching assistant for Continuous Time Finance at Carnegie Mellon University
  9. [Spring 2020] Tutor for Great Ideas in Theoretical Computer Science at Carnegie Mellon University
  10. [Fall 2019] Teaching assistant for Discrete Time Finance at Carnegie Mellon University
  11. [Spring 2019] Teaching assistant for Integration and Approximation at Carnegie Mellon University

Education

  1. École polytechnique fédérale de Lausanne 2021.9 -
    • Ph.D. candidate in Computer Science
  2. 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

  1. Google 2020.6 - 2020.8
    • Software engineering intern at Shanghai, China
  2. Google 2019.5 - 2019.8
    • Engineering practicum at Mountain View, CA, USA