Sendai Logic - 仙台ロジック Mathematical Institute, Graduate School of Science, Tohoku University
Research Alliance Center for Mathematical Sciences, Tohoku University

Kazuyuki Tanaka's CV

Personal Data

  • Birth date: August 18, 1955.
  • Bachelor of Science (Information Sciences), Tokyo Institute of Technology, 1978.
  • Master of Science (Information Sciences), Tokyo Institute of Technology, 1980.
  • Doctor of Philosophy (Mathematics), University of California, Berkeley, 1986.

Research Interests

  • Mathematical logic, foundations of mathematics, theory of computation, philosophy of science.

Teaching Positions Held

  • Assistant Professor, Dept. of Info. Sci., School of Sci., Tokyo Institute of Technology, 1986 - 1991.
  • Associate Professor, Dept. of Math., College of General Education, Tohoku University, 1991 - 1993.
  • Associate Professor, Mathematical Institute, School of Science, Tohoku University, 1993 - 1997.
  • Professor, Mathematical Institute, School of Science, Tohoku University, 1997 - present.

Managerial Positions Held

  • Councilor, Mathematical Society of Japan, 1997-1999.
  • Deputy Dean, School of Science, Tohoku University, 2004 - 2006.
  • Chairman of Mathematical Institute, Tohoku University, 2008 - 2009.
  • Director, Japan Association for Philosophy of Science, 2008 - 2017.
  • Councilor, Association for Symbolic Logic, 2013 - 2015.
  • Councilor, Mathematical Society of Japan, 2017 - 2018.
  • Editor, Annals of Pure and Applied Logic, 2013 - present.

Foreign Institutes Visited

  • Pennsylvania State University, U.S.A., October 1990 - July 1991.
  • Oxford University, U.K., March 1995 - July 1995.
  • Many others.

Supervision of Doctoral Students

  • Matoko Kikuchi, On Goedel’s Incompleteness Theorems, Tohoku University 1996.
  • Takeshi Yamazaki, Model-theoretic studies on subsytems of second order arithmetic, Tohoku University 2000.
  • Nobuyuki Sakamoto, Reverse Mathematics and Higher Order Arithmetic, Tohoku University 2005.
  • MedYahya Ould MedSalem, Weak systems of determinacy and inductive definitions, Tohoku University 2006.
  • Keita Yokoyama, Standard and Non-standard Analysis in Subsystems of Second Order Arithmetic, Tohoku University 2008.
  • Chenguang Liu, Computational Aspects of Randomness, Tohoku University 2008.
  • Takako Nemoto, Determinacy of Infinite Games and Reverse Mathematics, Tohoku University 2009.
  • Takayuki Kihara, Effective closed sets and degrees of unsolvability, Tohoku University 2011.
  • Yoshihiro Horihata, Weak subsystems of first and second order arithmetic, Tohoku University 2011.
  • Ahmad Termimi Ab Ghani, Stochastic Games on Graphs, Tohoku University 2012.
  • Keisuke Yoshii, Infinite Games, Inductive Definitions and Transfinite Recursion, Tohoku University 2013.
  • NingNing Peng, Computability and Relative Randomness, Tohoku University 2013.
  • Weiguang Peng, Logical Investigations of Various Games, Tohoku University 2016.
  • Shohei Okisaka, Study on computational models and logical descriptions for classes of finite structures, Tohoku University 2018.
  • Wenjuan Li, Automata-theoretic study on infinite games and fragments of modal mu-calculus, Tohoku University 2018.