Our grand challenge is to establish a field of science on designing high-quality information systems based on mathematics and theoretical computer science.
  Represented by rapid spread of Internet, information systems are vital in modern life. Mathematical modeling and analysis are indispensable for designing efficient and robust information systems, and system design ignoring mathematics is even dangerous. For example, in your familiar internet search, mathematical ideas lead breakthrough in several system design such as Web page evaluation, indexing structure for fast data searching, clustering techniques for organizing information, etc.
  We keep We keep top level research quality on mathematical foundation of computing and system design theory, especially on computational geometry, combinatorial optimization, and combinatorics. Typical application areas are data mining, image processing, GIS, internet analysis and machine learning. Students can select research theme from wide-area of subjects in theoretical computer science.