Computing Theory, AI-Information Service

Artificial Intelligence & Probabilistic Reasoning Lab

Kee­Eung Kim

Computing Theory

Complexity and Real Computation Lab.

Martin Ziegler

Computing Theory, Software Design

Computational Intelligence for Software Engineering Lab

Shin Yoo

Computing Theory, Systems-Networks

Concurrency and Parallelism Laboratory

Jeehoon Kang

Computing Theory, Secure Computing

Cryptology Laboratory

Jooyoung Lee

Computing Theory, Visual Computing

Discrete and Computational Geometry Lab

Otfried Cheong

Computing Theory, Visual Computing, Social Computing

Geometric Computing Lab

Sunghee Choi

Computing Theory, AI-Information Service

Laboratory for Foundations of Programming Languages and Machine Learning

Hongseok Yang

Computing Theory, AI-Information Service, Social Computing

Natural Language Processing & Computational Linguistics Lab

Jong Cheol Park

Computing Theory, Software Design

Programming Language Research Group

Sukyoung Ryu

Computing Theory, Software Design, Secure Computing

Programming Systems Laboratory

Kihong Heo