Group of Logic, Statistics & Informatics

Department of Computer Science and Systems Engineering
Graduate School of Engineering

Kobe University

News

Research Areas

• Mathematical and Philosophical Logic
  • Proof Theory
  • Set Theory
  • Model Theory
  • Non-classical Logic
• Applications of Logic
  • Abstract Design Theory
• Mathematical Statistics
  • Robust and Nonparametric Methods
  • Graphical Modeling
  • Cluster Analysis
• Theoretical Computer Science
  • Computer Algebra
  • Linear Logic Programming
  • Constraint Satisfaction Problem

Members

• Faculty
  • Banbara, Mutsunori, Assoc. Prof.
  • Brendle, Joerg, Assoc. Prof.
  • Fuchino, Sakaé, Prof.
  • Kakiuchi, Itsuro, Assoc. Prof.
  • Kikuchi, Makoto, Assoc. Prof.
  • Kikyo, Hirotaka, Prof.
  • Sakai, Hiroshi, Assistant
  • Suzuki, Akira, Research Assoc.
  • Tamura, Naoyuki, Prof.
• JSPS Fellows
• Staff
• Ph.D. Students
  • Eguchi, Naohi
  • Ibuka, Shingo
• M.Sc. Students
  • Kurahashi, Taishi
• B.Sc. Students

Meetings & Courses

• Symposiums
• Kobe Logic Seminar

Location

• 4th floor of The 3rd building for Research of Science and Technology (map1, map2),
  Rokkodai Campus, Kobe University
• Snail mail address: 1-1 Rokkodai, Nada, Kobe 657-8501, Japan

Links

• Mathematical Logic around the world
  • Kobe in Mathematical Logic around the world
• Kobe University
  • Graduate School of Engineering
  • Department of Computer Science and Systems Engineering
  • Information Science and Technology Center
  • Kobe University Library
  • Informations for Students from Aborad
• Japan Society for the Promotion of Science (JSPS)
  • Postdoctoral Fellowships for Foreign Researchers
  • Grant-in-Aid for Scientific Research
• Japan Student Services Organization (JASSO)
  • Study in Japan
  • Scholarships for Study in Japan
  • Scholarships for Japanese Students

• email:
  

Last modified: Fri Jan 29 13:35:21 +0900 2010