Admission Policy (Ph.D. Program in Computer Science)
We clarify the theory and applied topics of information science required in this advanced information society through a collaboration of basic and applied studies. The administration welcomes anyone who appreciates this vision regardless of your career. There is a need in the sake of the next generation of information science to investigate each method followed: mathematical science method; method and application of computing science, the foundation of todayfs information science; and many information usages and analytical methods that derive from natural and life phenomenon and also life sciences.
Faculty Members
Professors  Main Lecture Course 

Kenichi Asai (Prof.) Lab Home Page 
Programming Languages (Program Transformation) Programming language theory, mainly based on functional languages, such as program transformation, partial evaluation, theory and practice of delimited continuations, type theory, program verification using proof assistants, and reflective languages. 
Noriko Asamoto (Prof.) 
Discrete Mathematics / Document Processing System (Computeraided Theory) We take computing approach of analyzing natural and social phenomenon. The studies are on: application of formula manipulation system to understand phenomenon; aid of computing tools in the process of knowledge acquisition; in a field of education, and aid of computing and networking in a distance education. 
Takayuki Itoh (Prof.) Lab Home Page 
Information Visualization / Multimedia(Image Information Theory) A study on transmitting visualized information by computing machines and we humans. For example: information visualization; 3D shape processing; image processing and recognition; and multimedia technique that interface with audio, text data and visual data. 
Masato Oguchi (Prof.) Lab Home Page 
Network Computing / Middleware(Information Networking Theory) Studies on middleware for a more effective, convenient, and safe usage of resources on an advanced data processing of network computing, where there is a linkage between several computer devises connected with largesized networks. 
Ichiro Kobayashi (Prof.) Lab Home Page 
Intellectual Information Processing(Intellectual Information Processing Theory) My lecture presents how the media is expressed and used as intelligent information processor. Today, there are important roles in modality such as language as a media to build the sophisticated computer system. We also discuss about the information processing techniques objected as implications in an internet. 
Hiroaki Yoshida(Prof.) Lab Home Page 
Applied Analysis /Operator Algebra Theory (Noncommutative Analysis Theory) Noncommutative analysis, a mathematical tool for defining a quantum system; an operator ring theory, a central topic of this noncommutative analysis; recently related topics to an operator ring. 
Yuki Igarashi (Associate Professor) Laboratory HomePage 
Human Interface (Advanced Human Computer System) We study HCI technology for future computers that can be used by anyone in their living space. We also study assistive technologies for novices using graphical representations. 
Kazue Kudo(Associate Prof.) Lab Home Page 
Numerical Computation / Statistical Mechanics (Statistical Mathematics
Theory) A wide variety of interesting phenomena are studied in the field of statistical mechanics. We mainly use numerical calculation to study quantum dynamics and pattern formation in nonequilibrium systems. 
Daisuke Bekki(Associate Prof.) Lab Home Page 
Computational Linguistics / Theoretical Linguistics (Computational Linguistics Theory) We investigate syntactic and semantic theories of natural language: lexical grammars such as combinatory categorial grammar, and discourse semantics such as dependent type semantics and dynamic logic, together with linguistic phenomena in literature and methodology for verifying and falsifying a theory based on the network of native speakers' judgments. We also discuss the implicature of our theory to such fields as natural language processing, programming language semantics, philosophy of language and cognitive science. 
Nathanaël AubertKato (Lecturer) Lab Home Page 
Molecular programming / evolutionary optimization While nowadays computers are usually siliconbased, the concept of computing, as proposed by Alan Turing, is more generic. We focus on molecular programming, a field that relies on encoding data as molecular concentrations and operations as chemical reactions among those molecules. The main issue is programmability: how to turn a given program into a valid set of reactions implementing it? We combine two approaches: computer assistance for humanbased designs and evolutionary optimization for automated design discovery. 
Atsuki Nagao(Lecturer) Lab Home Page 
Discrete Algorithms/ Computational Complexity Our challenge is to improve existing best known algorithms or to propose new algorithms via other approaches such as approx., FPT, etc... We also explore the limits of complexity of some problems or classes. 
Tsubasa Kohyama(Assistant Prof.) Lab Home Page 
Meteorology / Physical Climatology / Atmosphereocean data analysis What are the factors and mechanisms that determine the weather and climate on Earth as we know it? We answer this question from the viewpoint of applied mathematics and information sciences. 
Former Faculty Members
Professors  Main Lecture Course> 

Jun Sese(Associate Prof.) moved to AIST in Oct. 2014 

Mariko Hagita(Prof.) (Until 2011. Currently in the Department of Mathematics) 
Combination Theory / Cryptographic Theory(Discrete Mathematics Theory) Discrete mathematics and applied study of algebra into information science. Study of combination structure occurrence; graph theory focused in coloring problem; pseudo random number allocation problem; and formation and evaluation of cryptographic algorism. 
Chiemi Watanabe(Lecturer) moved to Tsukuba Univ. in May 2013 
Database System(Information Structural Analysis Theory) Research topics or fields: database system; Web DB; security; multimedia; spatiotemporal database; systematization of dialogic searching; new database system that correspond todayfs various systems and contents. 
Suguru Saitoh (Associate Prof.) moved to Tokyo Tech Univ. in Spr. 2016 

Hiroshi Kori (Associate Prof.) moved to Tokyo Univ. in Sep. 2018 
Complex Systems (Mathematical Biology) 
Contact us
Phone: 0359785822 (Graduate School Office)
Fax: 0359785896 (Graduate School Office)
Contact: Takayuki Itoh,
HP Committee of department of computer science, doctoral program
* This Web site has been developed by students
in the department of information sciences.