Research Activities of Naohi Eguchi
Research activities since August 2011 til March 2013 can found at Joint Research Project  Ghent University/Tohoku University  Research Activities of Naohi Eguchi.
Research interests
 Proof complexity (including bounded arithmetic and ordinaltheoretic proof theory)
 Complexity analysis by term rewriting
 Implicit computational complexity
In particular recursiontheoretic and termrewriting characterisations of computational complexity classes
Talks (since April 2013)

Complexity Analysis of Unfolding Graph Rewriting: Polynomial Complexity
Naohi Eguchi
Computational Logic Seminar 3 (domestic access only), June 18, 2014, Institute of Computer Science, University of Innsbruck. 
A New Term Rewriting Characterisation of ETIME functions
Martin Avanzini and Naohi Eguchi
5th Workshop on Developments in Implicit Computational Complexity, April 5, 2014, Grenoble, France. 
Infinite Games in the Cantor Space over Admissible Set Theories
Naohi Eguchi
Computability Theory and Foundations of Mathematics 2014, February 20, 2014, Tokyo, Japan. 
Complexity Analysis of Unfolding Graph Rewriting: The first step
Naohi Eguchi
Computational Logic Seminar 2 (domestic access only), November 27, 2013, Institute of Computer Science, University of Innsbruck. 
Characterising Complexity Classes by Fixed Point Axioms
Naohi Eguchi
Computer Science Proof, Complexity and Verification Seminar Series, September 19, 2013, Swansea University, Swansea, UK. 
Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions
Naohi Eguchi
13th International Workshop on Termination (WST2013), September 29, 2013, Centro Residenziale Universitario di Bertinoro, Bertinoro, Italy. 
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
Naohi Eguchi
Computability in Europe 2013  The Nature of Computation, July 2, 2013, Milan. 
Characterising Complexity Classes by Fixed Point Axioms
Naohi Eguchi
Computational Logic Seminar 2 (domestic access only), June 12, 2013, Institute of Computer Science, University of Innsbruck.
Organisational Works

Computability Theory and Foundations of Mathematics (CTFM 2013)
Organising and programme committee member. February 18  20, 2013, Tokyo Institute of Technology, Tokyo, Japan. 
Workshop on Proof Theory and Computability Theory 2012  Philosophical Frontiers in Reverse Mathematics
Organising committee member. February 20  23, 2012. Harumi Grand Hotel, Tokyo, Japan. 
Workshop on Proof Theory and Computability Theory
Local organising committee member. February 21  24, 2011, Akiu Spa Hotel Iwanumaya, Sendai, Miyagi, Japan.