Researchers

Eunkyoung Jee (Ph.D.) 
Research Assistant Professor

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

 

Donghwan Shin (Ph.D.) 
Ph.D. Researcher

  • Research Interests
    • Mutation-Based Testing
    • Test Adequacy Criteria
    • System-of-Systems Engineering: Statistical Verification

 

Yulim Jung (M.S.)   
M.S. Researcher

  • Research Interests
    • System-of-Systems Engineering
    • Software Policy Generation