Keita Yokoyama
Assistant Professor
School of Information Scienceã€Intelligent Robotics Area
Japan Advanced Institute of Science And Technology
Japan
Biography
â– Degrees B.S.from Tokyo Institute of Technology(2004), M.S.from Tohoku University(2005), Ph.D from Tohoku University(2008) â– Professional Career Research Assistant at Tohoku University(2005), JSPS Research Fellow at Tohoku University(DC2)(2006), Assistant of Educational Service at Tokyo Institute of Technology(2008), Assistant Professor at Tohoku University(2008), Part-time Lecturer at Yamagata University(2009), Assistant Professor at Tohoku University(2010), Visiting Postdoc of Pennsylvania State University(2011), JSPS Research Fellow at Tokyo Institute of Technology(PD)(2011) â– Specialties Mathematical Logic
Research Interest
Proof theory, first and second-order arithmetic, reverse mathematics, nonstandard analysis
