Research & Edu Streams

Algorithms and Information Security Stream

Computer Theory is the basic theory of computer science and has made a fundamental contribution to the development of computer science with efficient algorithm development, NP-completeness concept, and modern cryptology theory. Our research group basically studies efficient algorithm development. Particularly, we are doing research on Big data analysis algorithms, practical algorithms suitable for multicore and cache structures, and genetic algorithms, and also working on applications such as security and financial engineering.

Artificial Intelligence Stream

AI(Artificial lntelligence) is one of the computer science fields that studies how to solve problems efficiently by simulating human recognition, thinking, memory, and learning.Currently, we are working on various theories and applied studies such as machine learning theory, computer vision, text mining, video analysis, recommendation agent, brain neural network analysis and ecosystem modeling

Computer Architecture and Embedded Systems Stream

In the future, computing will not only be a PC on a desk, but will also provide convenience and safety in our lives, including smartphones, cars, aircraft, roads, buildings, and bridges. The core technology is to optimize and implement intelligent services for embedded computers with limited computing, memory and battery capacity. Embedded System Research Group conducts not only computer SW, but also CPU architecture, Memory Architecture, Memory architecture and multicore to optimize the system design considering the computer HW characteristics. These research will make possible of AI technology internalization to our lives.

Data Systems Stream

Our Research Group conducts research on Big Data, Databases, Data Mining, Machine Learning, and Deep Learning. Main Research subject is DBMS Support to improve Machine Learning performance, Data managing and saving technology for various Database application, Data Mining, Information Searching, Recommending System, Natural Language Processing, Deep Learning, Graph analysis such as Web/Social Network. Etc., Light weight and AutoML, Finance AI.

Graphics and Human-Centered Computing Stream

Computer Graphics and HCI Technologies seek flawless communication between humans and computers. Many complex problems in modern society can find clue for the solution on proper visualization and human visual perception. Human-Centered Visual Computing Technology seeks to be a computer that is convenient for humans, to utilize human abilities in computing, and ultimately to cooperate with humans and computers. More specifically, research is conducted on shape modeling, multi-dimensional information visualization, image processing/ analysis, motion analysis and synthesis, interactive avatar control, intelligent virtual character, user interface design, and information visualization.

Network Systems Stream

Research and Development of protocols and algorithms for all networks, including the internet, wireless networks, data center networks, and online social networks. Also recently researching about Internet security and privacy. More specifically, focusing on developing core technologies that will lead the future of telecommunication and internet services such as the architecture design of the Internet, the application of networking optimization of Artificial Intelligence technology, the development of network virtualization technology, the resource management of mobile / wireless communication, the development of IoT communication protocol and IoT system, the analysis of communication traffic, block chain, internet authentication, privacy protection technology.

Programming Principles and Tools Stream

The current programming technology, even with all the hitherto thrilling advances, is still in infancy. The programming languages will constantly move to more convenient and higher levels. Programming tools will use more and more sophisticated logics and highly engineered implementations. Such tools will eventually reach to a point where ordinary programmers can daily use them without much effort. The cost of building secure and trustworthy software will be ever more decreased. We research on enabling technologies for such future: programming language theory, static analysis and verification, and software engineering applications and tools.

Quantum Computing Stream

Quantum computing is a revolutionary computational method that utilizes the principles of quantum mechanics to process information in a different way than traditional computers. Quantum computers can perform many calculations at once, greatly increasing their processing power and enabling them to solve complex problems more efficiently than classical computers. They are used to study problems that are currently difficult to solve with classical computers, such as large-scale factorization, large-scale system optimization, and molecular structure simulation for drug discovery.

Systems Software Stream

Facebook, Instagram, Youtube, Kakao Talk. System software enables services to run faster, use less energy, and perform more reliably and safely from unexpected errors, intrusions and attacks on modern hardware. More in detail, including research as Hardware resource management of single system that managed by operating system technology, compiler and software platform technology that make it easy to develop various services, distributed/parallel system technology to solve the scalability problem with increasing number of users, Ariticial intelligence and big Research on data systems.