- Program: Humboldt Research Fellowship
- Selection date: November 2007
- Business address (at time of selection): National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
- Current contact address: Faculty of Information Technology and Business, Cyber University, Tokyo, Japan
- Area of expertise: Fundamentals of Mathematics, Logics, Set Theory
- Keywords: completeness theorem, Substructural logic, cut-elimination theorem, modal operator, natural deduction system
- Host: Prof. Dr. Heinrich Wansing (Technische Universität Dresden, Germany)
Whether you are a newly selected fellow or award winner, a researcher currently receiving sponsorship or one of our alumni, you can search here for the names, disciplines and current residence of more than 30,000 Humboldt Foundation sponsorship recipients worldwide.