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, highly-specialized professionals, and educators of the next generation, we offer wide research and educational opportunities from basic principles to applied technology. We therefore welcome highly-motivated 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. |
|
Kazue Kudo (Prof.) Lab Home Page |
Quantum Software / Statistical Physics (Advanced Numerical Method) Quantum software studies computational methods and applications that make use of quantum computers and quantum-inspired devices. We use quantum information technology to solve problems efficiently, such as optimization problems, and to enhance artificial intelligence. |
|
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. |
|
Daisuke Bekki (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 two-fold: construction of a formal theory of natural language based on mathematical logic, and generalization of language phenomena that are repeatable among native speakers. |
|
Hiroaki Yoshida(Prof.) Lab Home Page |
Applied Analysis /Operator Algebra Theory (Advanced Information Analysis) It might sound unfamiliar, but my specialty is Anti-commutative 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 static-ridden 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. |
|
Hieu Hanh Le (Associate Prof.) Lab Home Page |
Database/Data Engineering (Advanced Database) There is a strong demand for technologies that reliably integrate a wide variety of large amounts of data, extract the necessary information from it, and make effective and useful use of it. Therefore, we are conducting research on practically useful methods, focusing on information storage and retrieval technologies. For example, we have worked on highly reliable power proportional storage systems considering both performance and power consumption, performance improvement of database systems, and medical practice recommendation based on analysis of electronic medical records, etc. |
|
Nathanaël Aubert-Kato (Lecturer) Laboratory HomePage |
Molecular programming / evolutionary optimization While nowadays computers are usually silicon-based, 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 human-based designs and evolutionary optimization for automated design discovery. |
|
Tsubasa Kohyama(Lecturer) Lab Home Page |
Meteorology / Physical Climatology / Atmosphere-ocean 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. |
|
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." |
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: 03-5978-5822 (Graduate School Office)
Fax: 03-5978-5896 (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.
