KIHARA Takayuki

J-GLOBAL         Last updated: Apr 4, 2019 at 15:33
 
Avatar
Name
KIHARA Takayuki
E-mail
kiharai.nagoya-u.ac.jp
URL
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/
Affiliation
Nagoya University
Section
Graduate School of Informatics Department of Mathematical Informatics 1
Job title
Lecturer
Research funding number
80722701

Profile

I'm a Recursion Theorist, especially interested in applications of Recursion Theory in other areas of mathematics. My research interest includes Higher Recursion Theory, Reverse Mathematics, Computable Analysis (TTE), Algorithmic Randomness, Descriptive Set Theory, General Topology, and Infinite Dimensional Topology.

Please visit: http://math.mi.i.nagoya-u.ac.jp/~kihara/

Education

 
Apr 2009
 - 
Mar 2011
Ph.D., Mathematical Institute, Tohoku University
 
Apr 2007
 - 
Mar 2009
M.S., Mathematical Institute, Tohoku University
 
Apr 2003
 - 
Mar 2007
B.S., Mathematical Institute, Tohoku University
 

Academic & Professional Experience

 
Apr 2010
 - 
Mar 2011
JSPS research fellow DC2, Mathematical Institute, Tohoku University
 
Apr 2011
 - 
Mar 2012
JSPS Postdoc, Mathematical Institute, Tohoku University
 
Apr 2012
 - 
Mar 2015
JSPS Postdoc, JAIST
 
May 2015
 - 
Mar 2017
JSPS Postdoc, Department of Mathematics, University of California, Berkeley
 
Apr 2017
 - 
Today
Lecturer, Graduate School of Informatics Department of Mathematical Informatics 1, Nagoya University
 

Awards & Honors

 
Jan 2013
LA/EATCS JAPAN Best Presentation Award, European Association for Theoretical Computer Science (EATCS), Japan Chapter
Winner: Takayuki Kihara
 
Mar 2011
Kawai Prize for Ph.D. thesis, Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
Winner: Takayuki Kihara
 
Mar 2009
Excellent Review Paper Award, Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
 

Published Papers

 
Takayuki Kihara and Antonio Montalbán
to appear in Transactions of the American Mathematical Society      2018   [Refereed]
Takayuki Kihara and Antonio Montalbán
Transactions of the American Mathematical Society   370(12) 9025-9044   2018   [Refereed]
Takayuki Kihara and Arno Pauly
In Proceedings of 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Leibniz International Proceedings in Informatics (LIPIcs)   58:1-58:14   2016   [Refereed]
Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto
to appear in Archive for Mathematical Logic      2018   [Refereed]
Takayuki Kihara
Logical Methods in Computer Science.   12(4) 1-35   2016   [Refereed]
Takayuki Kihara
Sets and Computations, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore   33 117-155   2017   [Refereed]
Takayuki Kihara
Fundamenta Mathematicae   230 1-13   2015   [Refereed]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(6) 1201-1241   2014   [Refereed]
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic   165(5) 1058-1114   2014   [Refereed]
Takayuki Kihara and Kenshi Miyabe
Archive for Mathematical Logic   54(3-4) 329-358   2015   [Refereed]
Takayuki Kihara and Kenshi Miyabe
Journal of Logic and Computation   24(4) 863-882   2014   [Refereed]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(9) 1445-1469   2014   [Refereed]
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
Mathematical Logic Quarterly   60(3) 136-153   2014   [Refereed]
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 303-312   2012   [Refereed]
Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 384-394   2012   [Refereed]
Takayuki Kihara
Computability   1(2) 131-152   2012   [Refereed]
Takayuki Kihara
Mathematical Structures in Computer Science   25(8) 1649-1668   2015   [Refereed]
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic   49(1) 1-16   2010   [Refereed]
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal   2 77-94   2009   [Refereed]

Teaching Experience

 
 

Conference Activities & Talks

 
TBA [Invited]
Takayuki Kihara
The Sixteenth Asian Logic Conference   May 2019   
Degrees of non-computability of points in general spaces [Invited]
Takayuki Kihara
Thirteenth International Conference on Computability, Complexity and Randomness   Dec 2018   
Computability Theoretic Methods in Descriptive Set Theory
Takayuki Kihara
Symposium on Advances in Mathematical Logic 2018   Sep 2018   
Weihrauch reducibility for some 3rd order principles [Invited]
Takayuki Kihara
Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis   Sep 2018   
On the Structure of the Wadge degrees of BQO-valued Borel functions [Invited]
Takayuki Kihara
The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic   Jul 2018   
Weihrauch Counterparts of Reverse Mathematical Principles [Invited]
Takayuki Kihara
The 2018 North American Annual Meeting of the Association for Symbolic Logic   May 2018   
The ultimate analysis of some hierarchies under ADTex [Invited]
Takayuki Kihara
手形 L4 研究集会   Mar 2018   
Ordinal Ranks on the Baire and non-Baire class functions
Takayuki Kihara
The Second Workshop on Mathematical Logic and its Applications   Mar 2018   
Topologizing the degree theory [Invited]
Takayuki Kihara
Oberwolfach workshop on Computability Theory   7 Jan 2018   
Borel isomorphisms at the second level
Takayuki Kihara
The 2nd Pan Pacific International Conference on Topology and Applications   13 Nov 2017   
Wadge-like classifications of real valued functions [Invited]
Takayuki Kihara
Aspects of Computation: in celebration of the research work of Professor Rod Downey   28 Aug 2017   Institute for Mathematical Sciences
Martin-like phenomena in the classification of real-valued functions [Invited]
Takayuki Kihara
Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017)   24 Jul 2017   
De Groot duality in computability theory
Takayuki Kihara
The 15th Asian Logic Conference,   10 Jul 2017   
Topological aspects of enumeration degrees [Invited]
Takayuki Kihara
Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany   21 Feb 2017   
The second level Borel isomorphism problem [Invited]
Takayuki Kihara
Southern Wisconsin Logic Colloquium, University of Wisconsin--Madison, USA   23 Jan 2017   
The uniform Martin conjecture and Wadge degrees [Invited]
Takayuki Kihara
Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico   8 Dec 2016   
Computability-theoretic methods in descriptive set theory [Invited]
Takayuki Kihara
the Fall 2016 Central Section Meeting of the American Mathematical Society, University of St. Thomas, Minneapolis, USA   29 Oct 2016   
The uniform Martin's conjecture and the Wadge degrees
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2016, Waseda University   21 Sep 2016   
Degrees of unsolvability in topological spaces with countable cs-networks
Takayuki Kihara
Workshop on Mathematical Logic and its Application, Kyoto University   17 Sep 2016   
The structure of natural many-one degrees [Invited]
Takayuki Kihara
Workshop on Computability Theory 2016, Ghent, Belgium   5 Jul 2016   

Association Memberships