Researchers

Eunkyoung Jee (Ph.D.)
Research Associate Professor
ekjee@se.kaist.ac.kr
homepage

  • Research Interests
    • Safety-Critical Software
    • Formal Method
    • Software Testing
    • Safety Analysis