Eunkyoung Jee (Ph.D.) 

Research Associate Professor
ekjee@se.kaist.ac.kr
homepage


Research Associate Professor
ekjee@se.kaist.ac.kr
homepage
-
Research Interests
- Safety-Critical Software
- Formal Method
- Software Testing
- Safety Analysis