Lijie Chen got an undergraduate degree from Tsinghua University in 2017, and is now a Ph.D. student at MIT. His advisor is Ryan Williams. He likes turning red bull into theorems. While not doing that, he enjoys playing music games.