I am an assistant professor at the University of Toronto with a joint appointment in mathematics and computer science. Previously, I was an assistant professor at the National Institute of Informatics in Tokyo, Japan. Before that, I was a postdoc at the Tokyo Institute of Technology. I completed my Ph.D. in computer science at MIT, where I was fortunate to have Madhu Sudan as an advisor. My research interests lie in computational complexity, in particular the areas of circuit complexity and finite model theory.