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 (Computer-aided 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 large-sized networks. |
|
Kazue Kudo (Prof.) Lab Home Page |
Quantum Software / Statistical Physics (Statistical Mathematics Theory) We are working on research using quantum computers and quantum-inspired devices. Our studies aim to use quantum information technology to achieve more efficient computation than what is possible with conventional computers. |
|
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. |
|
Daisuke Bekki (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. |
|
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.) Lab Home Page |
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 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 key machine learning challenges such as "generalization" and "optimization" through Bayesian statistics and approximate inference, performance analysis of statistical models, and the validation and development of various algorithms. |
| Atsuki Nagao (Associate Prof.) |
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. |
|
Hieu Hanh Le (Associate Prof.) Lab Home Page |
Database/Data Engineering (Data management and application) Amid the need to integrate and effectively utilize a large amount of diverse data, we have conducted research on data management and utilization methods to realize highly reliable data storage, high-speed data processing, and advanced data analysis, 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(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) |
|
Tetsuya Kawamura (Prof.) Retired in Mar. 2020 |
Advanced Numeric Hydrodynamics / Numeric Simulation(Environmental Information Theory) Analyze issues on fluid dynamics by computing simulation. Recent interests are on natural and earth environment issues, and attempt to analyze the phenomenon using computing fluid dynamics. |
|
Itiro Siio (Prof.) Retired in Mar. 2022 |
Human Interface (Human-Computer Interaction) Real world oriented interface; ubiquitous computing; introducing application and user interface method of next-generation computers common in our daily tools; implementation and evaluation of such method. |
|
Hiroaki Yoshida (Prof.) Retired in Mar. 2025 |
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. |
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.
