Admission Policy (Master's Program in Computer Science)
Information Science is a fast progressing field of study. In order to cultivate future researchers who will lead the way, highlyspecialized professionals, and educators of the next generation, we offer wide research and educational opportunities from basic principles to applied technology. We therefore welcome highlymotivated persons with basic academic skills in Information Science and Mathematical Science, and those with sophisticated English academic literacy.
Faculty Members
Professors  Main Lecture Course 

Kenichi Asai(Prof.) Lab Home Page 
Programming Languages (Advanced Topics on Programming Languages) We study the fundamental theory of programming languages, focusing on functional languages in particular. How can we execute a program efficiently? How can we write a program easily? How can we avoid programming errors? We approach the structure and essence of programming languages using mathematical approaches. 
Noriko Asamoto (Prof.) Lab Home Page 
Discrete Mathematics / Document Processing System (Advanced Formula Processing) We take a computational approach in analyzing natural and social phenomena. For example, applied studies of understanding phenomenon of formula processing, and a supportive use of computing machine in a process of knowledge acquisition. Also a use of computing machine and network especially in a field of education, particular in remote education. 
Takayuki Itoh(Prof.) Lab Home Page 
Information Visualization / Advanced Multimedia (Visual Computing / Advanced Media Computing) We are involved in the visualization of information using computer graphics to contribute to our society. For example, visualization in the fields of electric power, medicine, medical care, life information, and security. We study how to use visualization to work on multimedia technology as graphics and audio data. 
Masato Oguchi (Prof.) Lab Home Page 
Network Computing / Middleware (Advanced Computer Network / Distributed Computing) We study advanced use of networks in data processing, providing information, supportive systems in user communication. Computer network, represented as internet, is requisite and considerable as a social infrastructure in all computer use. Thus, we must investigate the tremendous upgrade and continuing advance of technology. 
Ichiro Kobayashi (Prof.) Lab Home Page 
Intellectual Information Processing (Linguistic Information Processing) Our study is about the computer technology of intellectual processing and of understanding human language. Our aim is to communicate with robots so that future robots can work with us in our daily lives. 
Hiroaki Yoshida(Prof.) Lab Home Page 
Applied Analysis /Operator Algebra Theory (Advanced Information Analysis) It might sound unfamiliar, but my specialty is Anticommutative Probability Theory (something different to Probability Theory). For a masteral research, we study the methods and applications of statistical data analysis that extract genuinely valuable information from the staticridden data. 
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. 
Masatsu Kasukawa(Associate Prof.) Lab Home Page 
Computer Architecture (Advanced Computer Architecture) Our focus is on input devises such as keyboard and mouse, and securities such as recognition and steganography. Our lab is surrounded by various kinds of measuring equipments and machine tools. 
Kazue Kudo(Associate Prof.) Lab Home Page 
Numerical Computation / Statistical Mechanics (Advanced Numerical Method) Macroscopic properties of a system are different from those of microscopic individuals. Statistical mechanics has been developed to study interesting macroscopic phenomena. We use numerical methods to study those phenomena. 
Daisuke Bekki (Associate Prof.) Lab Home Page 
Computational Linguistics / Theoretical Linguistics (Advanced Mathematical Science) My research project targets on formal and computational linguistics, in particular, syntactic and semantic structures. One of the esoteric facts about natural language is that almost all of us competently use it without being able to explain how it is processed. Our approach toward this fundamental question is twofold: construction of a formal theory of natural language based on mathematical logic, and generalization of language phenomena that are repeatable among native speakers. 
Nathanaël AubertKato (Lecturer) Laboratory HomePage 
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 On computer science, we always face the challenge to reduce resources such as computation time or memories. For this challenge, it is one approach that constructing more efficient, approximate, or stochastic algorithms. There is also another approach that proving the lower bound, say, "there is no more efficient algorithm than we know." 
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 (Advanced Discrete Mathematics) 
Chiemi Watanabe(Lecturer) moved to Tsukuba Univ. in May 2013 
Database System (Advanced Database System) 
Suguru Saitoh (Associate Prof.) moved to Tokyo Tech Univ. in Spr. 2016 

Hiroshi Kori (Associate Prof.) moved to Tokyo Univ. in Sep. 2018 
Dynamical Systems (Advanced Applied Analysis) 
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.