Foundations / Theory and systems

Theory is a fundamental foundation of computing and includes research areas such as algorithms, graph theory, computational geometry, discrete geometry, programming languages, compilers, and cryptology. In particular, computational geometry studies efficient algorithms for geometric problems that come from applications in graphics, networks, databases, CAD, robotics, GIS, and other areas of geometric computation. The research on programming languages and compilers studies software development from its design stage to its deployment and maintenance; it analyzes and optimizes software to help people to use software safely, easily, and efficiently.

Systems provides experimental foundations for computing, encompassing continuously evolving research areas such as computer architecture, operating systems, networks, embedded systems, and real-time systems. Building upon the strengths in the traditional systems research, our department is achieving global leadership in new systems research such as mobile systems with user experience, cyber-physical systems, cloud computing, and social network analysis.

> Foundations labs

Design / Design for software, systems and services

Various design techniques and tools are fundamental for fostering creativity in computing, and computational creativity is pervasive in all aspects of human lives. Our department focuses on developing creativity in designs for software, systems, and services.

Software engineering is a discipline to study the lifecycle of software including development, operation, and maintenance systematically and quantitatively. In particular, software engineering focuses on advancing rapidly changing software development paradigms and architectures as well as service technologies such as web-based computing, mobile computing, cloud computing, and big data research.

> Design labs

Secure Computing / Secure Computing

Secure computing research provides foundations for ensuring confidentiality, integrity and availability of systems, applications, and services in all aspects of computing technology. As a fundamental area for computing, the sub-research area for secure computing include systems security, software security, cryptography, mobile and network security, vulnerability analysis, malware analytics, usable security, computer forensics, privacy technology, and the policy for security and privacy.

> Secure Computing labs

Visual Computing / Next-generation graphics, vision, visualization

Visual computing studies how to make and use computing in order to efficiently process, understand, and express visual and multimedia data such as images, videos, photographs, drawings, movies, and multi-dimensional data. It encompasses computer graphics, computer vision, information visualization, image processing, information hiding, and multimedia forensics. Recent research topics include large-scale computer graphics and geometric processing, medical image processing and applications, computational photography and robot motion planning.

> Visual Computing labs

Infomation Service / Database, data mining, artificial intelligence, knowledge service

With the advancement of information technology and its pervasive uses, personal and social data have been vastly increasing, and thus there is a rapidly rising need for intelligent processing and analysis of big data. We study algorithms, systems, and services for efficiently processing, managing, and analyzing big data. Research areas include databases, parallel search engines, web data management, multimedia/spatio-temporal data management, sensor network data management, data mining, and knowledge service.

The goal of artificial intelligence is to enable computers and machines to perform tasks that require a certain degree of intelligence. We study the foundational problems in artificial intelligence, which include visual and speech understanding, natural language processing, and planning. The core of our current research is making computers learn to solve these problems such that computers can understand and assist humans with intelligent behavior.

> Intelligent·Information Service labs

Social Computing / Pervasive computing for individuals and society

Social computing addresses novel services and technologies that are related to managing, analyzing, and understanding various social data that arise in individual and societal activities. This emerging research topic develops ample opportunities to provide foundational knowledge and tools for computational social sciences. Our faculty play leading roles with high global visibility in natural language processing for biology (BioNLP), social network analysis, data mining, computational journalism, and information security. In addition, we are actively studying semantic web and information retrieval that are fundamental for next-generation social computing.

> Social Computing labs

Interactive Computing / HCI on human life

Interactive computing is a research area for new HCI technologies. Computers in diverse forms, such as smart phones, tablets, tabletops, and smart spaces are now creating entirely new user experiences (UX) and require research to provide a new paradigm of user interfaces (UI). Some of our ongoing research topics include gesture interfaces, touch interfaces, haptic interfaces, and natural language interfaces. We are also expanding our research to more pioneering topics including organic user interfaces and brain-computer interfaces.

> Interactive Computing labs