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 |
|---|---|
| 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. |
|
Tetsuya Kawamura(Prof.) Lab Home Page |
Numeric Hydrodynamics Special Course / 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. |
|
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. |
|
Itiro Siio (Prof.) Lab Home Page |
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.) 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. |
|
Kenichi Asai (Associate 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. |
|
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 non-equilibrium systems. |
|
Hiroshi Kori(Associate Prof.) Lab Home Page |
Complex Systems (Mathematical Biology) We mathematically study biological activities and functions. Our main tools are (stochastic) differential equations, linear algebra, and graph theory. |
| Suguru Saitoh (Associate Prof.) |
|
|
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 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. |
Former Faculty Members
| Professors | Main Lecture Course> |
|---|---|
|
Jun Sese(Associate Prof.) moved to AIST in Oct. 2014 |
|
|
Mariko Hagita(Associate 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. |
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.
