Educational Background

• • 2012.3 ~ 2018.8 - Ph.D. Dept. of Computer Science and Engineering, Korea University
                                  (Dissertation title: Framework for self-adaptive software: finite state machine modeling and runtime verification)

  • 2006.3 ~ 2012.2 - B.S. Dept. of Computer and Information Science, Korea University (including military service in ROKA)

  • 2003.3 ~ 2006.2 - Jeju Jeil High School, Jeju, Republic of Korea

Employed Positions

• • 2020.9 ~ present - Associate Professor, School of Computer Science, Chungbuk National University
    - 2023.4 ~ 2025.2 - Vice-Dean of Admission, Chungbuk National University

  • 2018.9 ~ 2020.8 - Postdoc,  Dept. of Computer and Information Security, Sejong University

  • 2017.9 ~ 2020.8 - Adjunct Professor, Dept. of Computer Science and Engineering, Seoul Cyber University

Research Area

• • Self-Adaptive Software

  • Software Modeling

  • Model Checking

  • Internet of Things

  • Data-Driven System

Software 

• RINGA: A model-checking tool implemented with Java 

• SEPO-FI: Software to Calculate Fusion Index of Muscle Cells using Deep Learning Model

• SPPO-IR: Software-based Evaluation Process for Calculate Infection Rate

Publication

See Publication page

Courses

See Courses page