English Japanese
Home   Research Activities   Publications





Home Page of Naohi Eguchi

Since October 2014 till March 2016

(Home page since April 2013 till September 2014)

Dr., Postdoctoral Fellow

Affiliation Department of Mathematics and Informatics, Faculty of Science, Chiba University
Position JSPS Postdoctoral Fellow
Postal address Department of Mathematics and Informatics, Faculty of Science, Chiba University, 1-33 Yayoicho, Inage, Chiba, 263-8522, Japan


Sep. 3, 2015 New publication: Formalizing Termination Proofs under Polynomial Quasi-interpretations [Publication page]
May. 19, 2015 New publication: Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems
Nov. 18, 2014 42nd TRS meeting - Call for Participation
Oct. 1, 2014 Moved back to Chiba from Innsbruck
Last update: March 29, 2016

Upcoming events

Sep. 11-12, 2015 10th International Workshop on Fixed Points in Computer Science (FICS 2015). Berlin, Germany
Sep. 8-10, 2015 43rd TRS Meeting. Morioka, Japan
Jul. 12-15, 2015 12th International Conference on Computability and Complexity in Analysis (CCA 2015). Tokyo, Japan
Jul. 4-5, 2015 16th International Workshop on Logic and Computational Complexity (LCC 2015). Kyoto, Japan


Since Apr. 2013 JSPS postdoctoral fellow. Graduate School of Science, Chiba University, Japan
Apr. 2013 - Sep. 2014. Visiting guest. Institute of Computer Science, University of Innsbruck, Austria
Aug. 2011 - Mar. 2013. Postdoctoral researcher. Graduate School of Science, Tohoku University, Japan
Apr. - Jul. 2011. JTF postdoctoral researcher. Department of Mathematics, Ghent University, Belgium
Apr. 2010 - Mar. 2011. Postdoctoral researcher. Institute of Informatics, Japan Advanced Institute of Science and Technology, Japan
Apr. 2007 - Mar. 2010 PhD student. Graduate School of Engineering, Kobe University, Japan
Back to Page Top