Professor Jieung Kim has joined our department.

His main research areas are programming language theory, formal verification, system software reliability, neural network reliability.

Professor Jieung Kim's website: https://sites.google.com/view/fcai-lab