인공지능 기반 모델을 설계하고 학습·추론 절차를 체계화하여 컴퓨터공학 문제의 정확도와 재현성을 확보하는 연구

대규모 데이터를 정리·분석하여 의사결정에 필요한 통계적 신호를 추출하고, 최적화로 성능과 비용을 함께 개선하는 연구

컴퓨터공학 소프트웨어의 동작을 정형화된 방식으로 검증하고, 입력 변화와 오류 상황에서도 안정적으로 동작하는 절차를 구축하는 연구