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.) |
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 |
Language Intelligent Information Processing (Advanced Language Information Processing) My research is aimed at elucidating and developing the principles of intelligence in which humans use language to perform intelligent tasks. I am developing various information processing techniques using statistical machine learning, deep learning, and large-scale language models. |
|
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. |
|
Yuki Igarashi (Associate Prof.) 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. |
|
Nathanaël Aubert-Kato (Associate Prof.) 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. |
| Anna Kuwana (Associate Prof.) |
Computational Fluid Dynamics (Advanced Numerical Simulation / Advanced Computational Fluid Dynamics) CFD (Computational Fluid Dynamics) is a research method to understand flow behavior by subdividing the space filled with fluid on a computer and investigating the motion of each part. We study various phenomena involving fluids and develop methods for CFD itself. |
| Ayaka Sakata (Associate Prof.) |
Statistical Machine Learning and Statistical Physics (Advanced Topics in Mathematical Informatics / Advanced Topics in Nonlinear Mathematics) Our research focuses on the foundations of AI and data science, with an emphasis on statistics and statistical physics. Specifically, we study various machine learning challenges from a mathematical perspective by leveraging Bayesian statistics, statistical model analysis, and numerical simulations. |
| Atsuki Nagao (Associate Prof.) |
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." |
|
Hieu Hanh Le (Associate Prof.) Lab Home Page |
Data Engineering / Information Storage Systems (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. |
|
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. |
| Koko Muroya (Lecturer) |
Program Semantics (Advanced Abstract Mathematics) There are multiple measures of program execution, such as results and cost. Our research is centred around mathematical analysis and comparison of programs by means of these measures. Aiming at contributing to trustable software, in particular software with verified cost, we develop models of program execution and study mathematical techniques for analysing and comparing execution results as well as cost. |
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) |
|
Tetsuya Kawamura (Prof.) Retired in Mar. 2020 |
Advanced Numeric Hydrodynamics / Advanced Numeric Simulation (Simulation Science) |
|
Itiro Siio (Prof.) Retired in Mar. 2022 |
Human Interface (Advanced Human Computer System) |
|
Masatsu Kasukawa (Associate Prof.) Retired in Mar. 2024 |
Computer Architecture (Advanced Computer Architecture) |
|
Hiroaki Yoshida (Prof.) Retired in Mar. 2025 |
Applied Analysis /Operator Algebra Theory (Advanced Information 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.
