Research Output
Publications & Research Outputs
Peer-reviewed papers, patents, awards, and activities, organized for fast, transparent review.
Ongoing Research Projects
-
2026
-
2026
Book 소프트웨어 테스팅 및 품질보증 = Software Testing and Quality Assurance: 결함 탐지에서 지속적 품질 의사결정까지
-
2026
Book 소프트웨어 정형명세 및 검증 = Formal Specification and Verification of Software: 모델·논리·반례·증명으로 신뢰 가능한 시스템 만들기
Current Year
-
2026
Book [ePub3] 모두를 위한 생성형 AI: GPT와 함께하는 창의적 문제 해결
Recent 3 Years (2023-2025)
-
2025
Book [Magazine] Trends in Software Engineering Automation Using Open Source Large Language Models and Multi-Agent Architectures
-
2025
Book [Magazine] 대규모 언어 모델 시대의 프로그램 정정 패러다임 연구 동향
-
2025
Book [ePub3] 자료구조 및 알고리즘 = Data structures and algorithms