Personal profile
In Korean
최윤자 교수(IT대학 컴퓨터학부)
Education
2003.08: Ph.D. in Computer Science at University of Minnesota, United States.
1999.10: M.S. in Computer Science at University of Minnesota, United States.
1993.02: M.S. in Mathematics at Yonsei University, Korea.
1991.02: B.S. in Mathematics at Yonsei University, Korea. (Minor: Computer Science)
1999.10: M.S. in Computer Science at University of Minnesota, United States.
1993.02: M.S. in Mathematics at Yonsei University, Korea.
1991.02: B.S. in Mathematics at Yonsei University, Korea. (Minor: Computer Science)
Professional Experience
2021.06 ~ present: Director, Software Disaster Research Center, KNU (link)
Research Interests
Software engineering, Software safety analysis, Model checking, software quality assurance, embedded software
url
Fingerprint
Dive into the research topics where Yunja Choi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation
Shin, Y., Lee, S. W. & Choi, Y., 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). IEEE Computer Society, p. 275-286 12 p. (Proceedings of the IEEE International Conference on Requirements Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Message from the General Chair and Program Chairs
Ko, I. Y., Choi, Y. & Yan, M., 2023, In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC. p. XV-XVIResearch output: Contribution to journal › Editorial
Open Access -
OS-in-the-Loop verification for multi-tasking control software
Choi, Y., Jan 2023, In: Software Testing Verification and Reliability. 33, 1, e1834.Research output: Contribution to journal › Article › peer-review
-
멀티태스크 내장형 소프트웨어에 대한 OS-in-the-Loop 동적 심볼릭 테스트
Choi, Y., 2023, In: 정보과학회논문지. 50, p. 140Research output: Contribution to journal › Article › peer-review
-
Message from the General Chairs and Program Chairs
Washizaki, H., Kobayashi, T., Higo, Y. & Choi, Y., 2022, In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC. 2022-December, p. XIV-XVResearch output: Contribution to journal › Editorial
Open Access