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 ordinal-theoretic proof theory)
• Complexity analysis by term rewriting
• Implicit computational complexity
  In particular recursion-theoretic and term-rewriting 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.