김문주 교수는 KAIST 부교수로 재직 중이며, SWTV (SW Testing and Verification) 연구실을 이끌고 있다. 김문주 교수는 2001년 Univ. of Pennsylvania 에서 박사학위를 취득한 뒤, 시큐아이 및 POSTECH에서 연구를 수행하고 2006년 KAIST 전산학과에 부임하였다. 또한 10년간의 SW 자동 테스팅 연구 성과를 상용화하여, 2019년 SW 자동 테스팅 도구인 CROWN 2.0을 개발/판매하는 브이플러스랩(주)를 창업하였다.(https://vpluslab.kr)

김문주 교수는 SW 자동 테스팅 기술을 통해 내장형 SW의 신뢰성을 향상시키는 연구를 삼성전자, LG전자, 현대자동차, LIG넥스원 등 회사의 제품들에 적용하여 수백여건의 심각한 오류를 검출하였다. 또한 세계적으로 연구성과를 인정받아, Runtime Verification 2019 Test of Time Award, IEEE Intl. Conf. on Software Testing, Verification and Validation (ICST) 2018 Distinguished Paper Award를 수상하였으며, 최우수 국제학회인 ASE, FSE, ICSE 에 10여편의 논문을 포함 100여편의 논문을 발표하였다. 그리고, ICSE 2020 SW Engineering in Practice (SEIP) Track chair, ICSE New Faculty Symposium 2016 co-chair, ICST 2016 및 ASE 2015 publication co-chair를 역임하는 등 활발한 국제연구활동을 수행중이며, ACM/IEEE Intl. Conf. on Automation of Software Test (AST) 2020, Formal Aspects of Component Software (FACS) 2018 에서 키노트 연사로 활동하였다.