Eunkyoung Jee (Ph.D.) ![](/selab/images/home.png)
![](/selab/images/email.png)
Research Associate Professor
ekjee@se.kaist.ac.kr
homepage
![](/selab/images/home.png)
![](/selab/images/email.png)
Research Associate Professor
ekjee@se.kaist.ac.kr
homepage
-
Research Interests
- Safety-Critical Software
- Formal Method
- Software Testing
- Safety Analysis