Combinatorial Optimization Lab
👤Professor: An, Hyung-Chan (안형찬)
🔬Research Field: Algorithm design, combinatorial optimization, approximation algorithm, online algorithm, theoretical computer science, optimization technique application
📍Lab: Engineering Hall 4, D713

Formal Computing and AI Lab
👤Professor: Kim, Jieung (김지응)
🔬Research Field: Programming Language Theory, Formal Verification, System Software Reliability, Neural Network Reliability
📍Lab: Engineering Hall 4, D724

Theory of Computation Lab
👤Professor: Han, Yo-Sub (한요섭)
🔬Research Field: Theory of computation, automata theory, algorithm design, information retrieval, natural language processing, neural-symbolic model
📍Lab: Engineering Hall 4, D709