- Programm: Humboldt-Forschungsstipendium
- Auswahldatum: November 2007
- Dienstadresse (Auswahlzeitpunkt): National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
- Aktuelle Kontaktadresse: Faculty of Information Technology and Business, Cyber University, Tokyo, Japan
- Fachgebiet: Grundlagen der Mathematik, Logik, Mengenlehre
- Keywords: completeness theorem, Substructural logic, cut-elimination theorem, modal operator, natural deduction system
- Gastgeber*in: Prof. Dr. Heinrich Wansing (Technische Universität Dresden, Deutschland)
Neu ausgewählte Stipendiat*innen und Preisträger*innen, Wissenschaftler*innen, die sich gerade in Förderung befinden sowie Alumni: Recherchieren Sie hier nach Namen, Fachgebieten und Aufenthaltsorten von weltweit über 30.000 Geförderten der Humboldt-Stiftung.