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]
    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. [Upcoming!] [March 21, 2024] Security Bounds for Proof-Carrying Data from Straightline Extractors
    Crypto Seminar, Carnegie Mellon University

  2. [February 21, 2024] On the Security of Succinct Interactive Arguments from Vector Commitments
    Crypto Reading Group, New York University

  3. [February 7, 2024] On the Security of Succinct Interactive Arguments from Vector Commitments
    CYS Research Seminar, Kings Colledge London

  4. [February 5, 2024] On Parallel Repetition of PCPs
    Algorithms and Complexity Seminar, Univeristy of Cambridge

  5. [January 25, 2024] On the Security of Succinct Interactive Arguments from Vector Commitments
    Crypto Seminar, Bar-Ilan University

  6. [January 24, 2024] On Parallel Repetition of PCPs
    Bocconi Seminar, Bocconi University

  7. [November 22, 2023] On Parallel Repetition of PCPs
    Theory Seminar, Nanjing University

  8. [August 31, 2023] Depth-3 Circuits for Inner-Product
    MFCS 2023, Bordeaux INP

  9. [August 7, 2023] Depth-3 Circuits for Inner-Product
    Theory Coffee, EPFL

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

  • É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