Daisuke Ikegami

J-GLOBAL         Last updated: Dec 9, 2018 at 15:03
 
Avatar
Name
Daisuke Ikegami
E-mail
ikegamishibaura-it.ac.jp
URL
http://www.sic.shibaura-it.ac.jp/~ikegami/
Affiliation
Shibaura Institute of Technology
Section
College of Engineering
Job title
Associate Professor (tenured)
Degree
Ph.D.
Other affiliation
Association for Symbolic Logic; European Set Theory Society; Mathematical Society of Japan
Research funding number
20747208

Profile

Hello! I am an associate professor (tenured) in set theory in Tokyo.

Research Areas

 
 

Education

 
Mar 2006
 - 
Jun 2010
Institute for Logic, Language and Computation, University of Amsterdam
 
Apr 2004
 - 
Mar 2006
Department of Computer Science and Mathematical Informatics, Granduate school of information science., Nagoya University
 
Apr 2000
 - 
Mar 2004
Department of Mathematics, Faculty of Scinece, University of Tokyo
 

Academic & Professional Experience

 
Apr 2018
 - 
Today
Associate Professor, SIT Research Laboratories, Shibaura Institute of Technology
 
Oct 2015
 - 
Mar 2018
Non-tenure track assistant professor, Department of Mathematics, School of Engineering, Tokyo Denki University
 
Apr 2014
 - 
Sep 2015
JSPS postdoctoral fellow (domestic), Graduate School of System Informatics, Kobe University
 
Nov 2013
 - 
Mar 2014
Postdoctoral researcher, Department of Mathematics, University of Turin
 
Sep 2011
 - 
Aug 2013
Postdoctoral researcher (JSPS fellow), University of California, Berkeley
 
Aug 2010
 - 
Today
Postdoctoral researcher, University of Helsinki
 
Mar 2006
 - 
Jun 2010
Ph.D. student, Universiteit van Amsterdam
 
Apr 2004
 - 
Mar 2006
Master Student, Nagoya University
 
Apr 2000
 - 
Mar 2004
Undergraduate Student, University of Tokyo
 

Published Papers

 
Daisuke Ikegami and Nam Trang
Archive for Mathematical Logic   57(5-6) 713-725   Aug 2018   [Refereed]
Daisuke Ikegami
RIMS Kokyuroku   2042 72-74   Jul 2017
Daisuke Ikegami, Jouko Väänänen
Notre Dame Journal of Formal Logic   56(1) 167-190   2015   [Refereed][Invited]
Daisuke Ikegami, David de Kloet, and Benedikt Löwe
Archive for Mathematical Logic   51(7) 671-685   Nov 2012   [Refereed]
Daisuke Ikegami
RIMS Kokyuroku   1754 32-74   Aug 2011
Daisuke Ikegami
Annals of Pure and Applied Logic   161(7) 879-894   Apr 2010   [Refereed]
Daisuke Ikegami
Archive for Mathematical Logic   48(7) 679-690   Sep 2009   [Refereed]
Johan van Benthem and Daisuke Ikegami
Pillars of Computer Science, Lecture Notes in Computer Science   4800 146-165   Apr 2008   [Refereed]
Borel subsets of the real line and continuous reducibility
Daisuke Ikegami, Philipp Schlicht and Hisao Tanaka
   [Refereed]
To appear in Fundamenta Mathematicae.

Research Grants & Projects

 
Gödel's Program, Large cardinal Axioms, and Forcing Axioms
JSPS Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2015 - Mar 2018    Investigator(s): Daisuke Ikegami
Inner models and Boolean valued higher order logics and Tex-logic
JSPS Grant-in-Aid for JSPS Fellows
Project Year: Apr 2014 - Mar 2017    Investigator(s): Daisuke Ikegami

Awards & Honors

 
Sep 2010
Dissertation prize, Deutsche Vereinigung für Mathematische Logik (DVMLG)