Research Projects by Naohi Eguchi

JSPS grant

Since April 2013 I am supported by JSPS Reserch Fellowships for Young Scientists.

Title. Term Rewriting, Proof Theory and their Application to Barriers in Computational Complexity

Promoter. Japan Society for the Promotion of Science (JSPS)

Duration. April 2013 - March 2016 (3 years)

Grant number. 25 • 726

Aim. Provide machine-independent logical characterisations of computational complexity classes. The scope involves Proof Theory (proof complexity, bounded arithemtic), Term Rewriting (termination orders, complexity analysis) and Implicit Computational Complexity.

Publications and research activities. See publication page and recent talks.

Computation with Bounded Resources

I am also partially working as a member of the project Computation with Bounded Resources.

Past projects

Since August 2011 til March 2013 I was a member of the project Philosophical frontiers in Reverse Mathematics sponsored by the John Templeton Foundation. All the activities on this project can be found at Joint Research Project - Ghent University/Tohoku University - Research Activities of Naohi Eguchi.