The world is facing many problems that require urgent solutions, but the use of the computer does not necessarily provide an immediate solution to all of them. Some problems cannot be solved in principle even if we use a supercomputer, and some others would require for their solution a longer time than the life of the universe. How can we create rigorous bug-free programs, extract only meaningful data from a massive amount of data, and get answers that we really need within a reasonable time? How can we guarantee the security, correctness, and validity of these computations?
This area is an interdisciplinary research area with cross-disciplinary education and research covering computer science, mathematics, artificial intelligence, data science, and other related fields from basic theory to applications of computing, from the viewpoints of information science. We aim to promote the evolution of the field of computing and artificial intelligence.

Information Science, Information Security, Mathematical Logic,Artificial Intelligence, Automated Theorem Proving, Formal Methods, Theoretical Computer Science, Data Science, Distributed System, Algorithms, Information Theory

This area provides you with basic theories and technologies that form the basis of information science. On top of that, it prepares you to become advanced scientists and engineers who acquire elemental technologies in specialized fields, raise a wide range of curiosity in neighboring fields, and keep on learning new things by themselves in coping with major changes expected in the future society. In addition, this area aims to develop social leaders who, beyond the acquisition of specialized knowledge, obtain a series of methodologies, including long-term and short-term research planning, productive discussions with others from diverse backgrounds, technical writing, and effective presentations.