Naohi Eguchi

Dr., Postdoctoral Fellow
Supported by Grants-in-Aid for JSPS Fellows
Grant Number 25 • 726
Graduate School of Science
Chiba University
e-mail:
homepage: http://www.math.s.chiba-u.ac.jp/~neguchi/en/

Visiting guest (April 2013 - September 2014)
Computational Logic
Institute of Computer Science
University of Innsbruck
Technikerstrasse 21a/2
6020 Innsbruck
Austria

Last update: June 25, 2014

News

June 25, 2014. New publication: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion.
April 5, 2014. Recent talks: A New Term Rewriting Characterisation of ETIME functions. 5th Workshop on Developments in Implicit Computational Complexity.
February 20, 2014. Recent talks: Infinite Games in the Cantor Space over Admissible Set Theories. Computability Theory and Foundations of Mathematics 2014.
September 29, 2013. Recent talks: Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions. 13th International Workshop on Termination.
July 2, 2013. Recent talks: Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic. Computability in Europe 2013 - The Nature of Computation.
April 2013. Started working at University of Innsbruck.

TERMGRAPH 2014 8th International Workshop on Computing with Terms and Graphs. July 13, 2014, Vienna, Austria.
DICE 2014 5th Workshop on Developments in Implicit Computational Complexity. April 5 - 6, 2014, Grenoble, France.
CTFM 2014 Computability Theory and Foundations of Mathematics 2014. February 17 - 20, 2014, Tokyo, Japan.
WST 2013 13th International Workshop on Termination. September 29 - 31, 2013, Bertinoro, Italy.
CiE 2013 Computability in Europe 2013. July 1 - 5, 2013, Milan, Italy.

Since Apr. 2013	JSPS postdoctoral fellow. Graduate Schoold of Science, Chiba University, Japan. Visiting guest, Institute of Compute Science, University of Innsbruck.
Aug. 2011 - Mar. 2013.	Postdoctoral researcher. Mathematical Institute, Tohoku University, Japan.
Apr. 2011 - Jul. 2011.	JTF postdoctoral researcher. Department of Mathematics, Ghent University, Belgium.
Apr. 2010 - Mar. 2011.	Postdoctoral researcher. School of Information Science, Japan Advanced Institute of Science and Technology, Japan.
Apr. 2007 - Mar. 2010.	PhD student. Graduate School of Engineering, Kobe University, Japan.
Apr. 2005 - Mar. 2007.	Master student. Graduate School of Science, Kobe University, Japan.
Apr. 2001 - Mar. 2005.	Bachelor student. School of Science, Tsukuba University, Japan.