ljt12138.github.io - Jiatu Li

next (2072) hexo (1116)

Example domain paragraphs

I am Jiatu Li (李嘉图), a fourth-year undergraduate student in the Yao Class, Institute for Interdisciplinary Information Science (IIIS), Tsinghua University. My research interest is about circuit complexity , proof complexity , and cryptography . I am currently interested in the following problems:

As complexity theorists, our mission is to liberate the warriors trying to solve inherently hard problems and use their stories to alleviate insomnia for cryptographers (see, e.g., Cryptographers Seldom Sleep Well ).

I am also interested in writing formal (i.e. computer verified) mathematical proofs in Coq and Lean. Although it seems to be incredible nowadays, I believe that proof assistants will eventually be able to help mathematicians in their research (if mathematicians are not completely replaced by something like GPT-256, see, e.g., ChatGPT ).

Links to ljt12138.github.io (3)

tu-yaxin.github.io About me - Yaxin Tu
wmdi.github.io Mengdi Wu
hanlin-ren.github.io Hanlin Ren