Mikito Nanashima is a PhD student in the School of Computing at Tokyo Institute of Technology, Japan. His research interests are computational complexity and computational learning theory, particularly connections between efficient learning, average-case complexity, meta-complexity, proof complexity, and cryptography.