I am an undergraduate student in Institute for Interdisciplinary Information Science, Tsinghua University. My research interest is about circuit complexity, pseudorandomness and the connection between complexity and cryptography. I’m also interested in the application of formal method in mathematics (i.e. computer-aided mathematics) and logic in computer science.
- Email: firstname.lastname@example.org
- Formalization of PAL·S5 in Proof Assistant, ArXiv (2020).
- $3.1n - o(n)$ Circuit Lower Bounds for Explicit Functions, ECCC (2021). A joint work with Tianqi Yang.