Takayuki Kihara

J-GLOBAL         Last updated: Apr 9, 2016 at 07:40
 
Avatar
Name
Takayuki Kihara
E-mail
kiharamath.berkeley.edu
URL
https://math.berkeley.edu/~kihara/
Affiliation
University of California, Berkeley
Section
Department of Mathematics
Job title
PD
Degree
Ph.D.(Tohoku University)

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, General Topology, and Descriptive Set Theory.

See also: https://math.berkeley.edu/~kihara/

I was born Aug. 1984 in Ehime, Japan. In Apr. 2003, I entered the Department of Mathematics in the Faculty of Science at Tohoku University in Japan, and obtained B.Sc. (2007), M.Sc. (2009) and Ph.D. (2011) degrees all in Mathematics from Tohoku University in Japan, under the supervison of Kazuyuki Tanaka and Takeshi Yamazaki. Formerly (April 2012 -- March 2015) I was a post-doctoral researcher in Hajime Ishihara's group at Japan Advanced Institute of Science and Technology (JAIST). Currently (May 2015 --), I am a post-doctoral researcher in Antonio Montalban's group at University of California, Berkeley in US.

Kazuyuki Tanaka's Logic Group in Mathematical Institute at Tohoku University
http://www.sendailogic.com/seminars.html
http://www.math.tohoku.ac.jp/~tanaka/
(Reverse Mathematics, Determinacy, Higher Recursion Theory, Descriptive Set Theory, Nonstandard Models and so on)

*Hajime Ishihara's Lab in JAIST Logic Group
http://www.jaist.ac.jp/~ishihara/
(Constructive Mathematics, Constructive Set Theory, Realizability Toposes, Formal Topology and so on)

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

 
May 2015
 - 
Today
Post-doc, Department of Mathematics, University of California, Berkeley
 
Apr 2012
 - 
Mar 2015
Research Fellow of the Japan Society for the Promotion of Science (JAIST)
 
Apr 2010
 - 
Mar 2012
Research Fellow of the Japan Society for the Promotion of Science (Tohoku University)
 
Apr 2009
 - 
Mar 2010
Global COE research assistant at Tohoku University
 

Awards & Honors

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

Published Papers

 
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto
submitted      2015
On jump inversion theorems and Kreisel's compactness theorem
Vassilios Gregoriades and Takayuki Kihara
in preparation      2015
Borel-piecewise continuous reducibility for uniformization problems
Takayuki Kihara
submitted      2014
Takayuki Kihara and Arno Pauly
submitted      2014
Higher randomness and lim-sup forcing within and beyond hyperarithmetic
Takayuki Kihara
A research note.      2014
Turing degrees in Polish spaces and decomposability of Borel functions
Vassilios Gregoriades, Takayuki Kihara and Keng Meng Ng
submitted      2014
Takayuki Kihara and Kenshi Miyabe
submitted      2014
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]

Misc

 
Takayuki Kihara
Effectively closed sets and degrees of unsolvability
Takayuki Kihara
Ph.D. thesis, in Mathematics, Tohoku University      Feb 2011
Notes on reverse recursion theory and reverse mathematics
Takayuki Kihara
Proof theoretical study of the structure of logic and computation, RIMS Kôkyûroku (proceedings)   1635 51-59   Apr 2009
Degree structures of mass problems and formal systems of Ramsey-type theorems
Takayuki Kihara
Master's thesis, in Mathematics, Tohoku University      Feb 2009

Conference Activities & Talks

 
TBA [Invited]
Takayuki Kihara
Workshop on Computability Theory 2016, Ghent, Belgium   Jul 2016   
Borel isomorphism and computability [Invited]
Takayuki Kihara
Computability, Randomness and Applications, CIRM Seminar, Marseille, France   Jun 2016   
Computability-theoretic methods in descriptive set theory
Takayuki Kihara
Association for Symbolic Logic 2016 Annual North American Meeting, Storrs, Connecticut   May 2016   
Computability theoretic methods in descriptive set theory [Invited]
Takayuki Kihara
South Eastern Logic Symposium 2016, Florida   27 Feb 2016   
Weak choice principles in the Weihrauch degrees [Invited]
Takayuki Kihara
New Challenges in Reverse Mathematics, Institute for Mathematical Sciences, National University of Singapore   15 Jan 2016   
Some more results around decomposability of Borel functions [Invited]
Takayuki Kihara
Descriptive Set Theory in Paris 2015, Institut de Mathématique de Jussieu, Paris, France   8 Dec 2015   
Decomposing Borel functions and generalized Turing degree theory [Invited]
Takayuki Kihara
Dagstuhl Seminar 15392 “Measuring the Complexity of Computational Content: Weihrauch Reducibility and and Reverse Analysis”, Schloss Dagstuhl, Germany   25 Sep 2015   
Effective reducibility for smooth and analytic equivalence relations on a cone
Takayuki Kihara and Antonio Montalban
Computability Theory and Foundation of Mathematics 2015, Tokyo, Japan   9 Sep 2015   
Degree theory and infinite dimensional topology [Invited]
Takayuki Kihara
CCC2015: Continuity, Computability, Constructivity – From Logic to Algorithms, Schloss Aspenstein, Kochel, Germany   14 Sep 2015   
The second-level Borel isomorphism problem: An encounter of recursion theory and infinite dimensional topology [Invited]
Takayuki Kihara
JAIST Logic workshop series 2015: Constructivism and Computability, Shiinoki Cultural Complex, Kanazawa, Japan   3 Mar 2015   
Recursion theoretic methods in topological dimension theory [Invited]
Takayuki Kihara
Descriptive Set Theory in Paris, Institut de Mathématique de Jussieu, Paris, France   9 Dec 2014   
On the effectively Tex-decomposable functions
Takayuki Kihara
Eleventh International Conference on Computability and Complexity in Analysis (CCA2014), Darmstadt, Germany   21 Jul 2014   
Triviality within and beyond hyperarithmetic
Takayuki Kihara
Ninth International Conference on Computability, Complexity and Randomness (CCR 2014), National University of Singapore   11 Jun 2014   
Arboreal forcings over admissible sets
Takayuki Kihara
Correctness by Construction, CORCON 2014 Workshop, Genoa, Italy   24 Mar 2014   
Effective methods in descriptive set theory [Invited]
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2014, Tokyo Institute of Technology, Tokyo, Japan   17 Feb 2014   
A hierarchy of the countably computable functions
Takayuki Kihara
Argentina-Japan-New Zealand workshop 2013, University of Auckland, New Zealand   2 Dec 2013   
An application of the Shore-Slaman join theorem in descriptive set theory [Invited]
Takayuki Kihara
The 13th Asian Logic Conference, Guangzhou, China   Sep 2013   
An application of classical recursion theory to descriptive set theory via computable analysis [Invited]
Takayuki Kihara
Computability and Complexity in Analysis, LORIA, Nancy, France   8 Jul 2013   
Takayuki Kihara and Kenshi Miyabe
Computability in Europe 2013, The Nature of Computation: Logic, Algorithms, Applications, University of Milano-Bicocca, Italy   1 Jul 2013   
Takayuki Kihara
Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2013), Swansea University, Gregynog, UK   26 Jun 2013   

Association Memberships