Directions
Artificial Intelligence & Probabilistic Reasoning Lab
KeeEung Kim
Complexity and Real Computation Lab.
Martin Ziegler
Computational Intelligence for Software Engineering Lab
Shin Yoo
Concurrency and Parallelism Laboratory
Jeehoon Kang
Cryptology Laboratory
Jooyoung Lee
Discrete and Computational Geometry Lab
Otfried Cheong
Geometric Computing Lab
Sunghee Choi
Laboratory for Foundations of Programming Languages and Machine Learning
Hongseok Yang
Natural Language Processing & Computational Linguistics Lab
Jong Cheol Park
Programming Language Research Group
Sukyoung Ryu
Programming Systems Laboratory
Kihong Heo