Hanlin Ren is a DPhil student at the University of Oxford, supervised by Rahul Santhanam. He received his bachelor degree in computer science from Tsinghua University. He is interested in complexity theory, in particular meta-complexity and complexity of explicit constructions.