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