Academic Background
2001-2005 Undergraduate at Kyoto University, Japan
2005-2007 Postgraduate at Kyoto University, Japan, M.Sc. in Mathematics
2007-2010 Postgraduate at Kyoto University, Japan, Ph.D. in Mathematics
Degree
23 March, 2007 M.Sc. at Kyoto University
Classification of Index Sets of Functions
23 March, 2010 D.Sc. at Kyoto University
An extension of van Lambalgen’s theorem to infinitely many relative 1-ramdom reals
Professional
Apr 2010 – Mar 2011, Global COE Research fellow at Kyoto University
Apr 2011 – Mar 2013, Global COE Research fellow at Kyoto University
Apr 2013 – Mar 2014, JSPS Research Fellow at University of Tokyo
Apr 2014 – Sep 2017, Senior Assistant Professor at Meiji University
Oct 2017 – , Associate Professor at Meiji University
Academic society
Association for symbolic Logic（from June 2013)
Mathematical Society of Japan (from April 2012)
Association Computability in Europe（from July 2011)
CV
cv_en_miyabe
Faculty Database
Faculty Database