조장우 연구실은 프로그래밍 언어 이론, 정적 분석, 소프트웨어 보안, 그리고 인공지능 기반 소프트웨어 설계 자동화 등 컴퓨터공학의 핵심 분야를 폭넓게 연구하는 연구실입니다. 본 연구실은 자바, C/C++ 등 다양한 프로그래밍 언어를 대상으로 예외 처리, 접근성 위반, 힙 사용 분석 등 프로그램의 신뢰성과 효율성을 높이기 위한 정적 분석 기법을 개발해왔습니다. 이러한 연구는 소프트웨어의 품질 향상과 유지보수 비용 절감에 크게 기여하고 있습니다. 또한, 웹 응용 프로그램의 보안 취약점 분석, 심볼릭 링크 공격 탐지, 프로그램 표절 탐지 등 소프트웨어 보안 분야에서도 활발한 연구를 진행하고 있습니다. 정적 분석기를 활용한 자동화된 취약점 탐지 기술은 실제 산업 현장에서의 소프트웨어 품질 보증과 보안 강화에 직접적으로 활용되고 있습니다. 임베디드 시스템 및 스마트 센서 응용 소프트웨어의 테스팅을 위한 가상 센서 시스템 개발 등 실용적인 연구도 병행하고 있습니다. 최근에는 머신러닝과 딥러닝 기술을 활용한 소프트웨어 설계 자동화 분야로 연구를 확장하고 있습니다. 변압기 설계 시스템에 인공지능을 적용하여, 다양한 설계 조건을 자동으로 탐색하고 최적의 설계안을 도출하는 시스템을 개발하였으며, 관련 특허도 다수 보유하고 있습니다. 이러한 연구는 전통적인 공학 설계 방식의 한계를 극복하고, 설계 효율성과 품질을 획기적으로 향상시키는 데 중점을 두고 있습니다. 본 연구실은 CASE 도구 및 복합 문서 지원 기능, 객체지향 기술과의 융합 등 소프트웨어 공학 도구 개발에도 힘쓰고 있습니다. 다양한 프로젝트와 산학협력, 특허 출원, 그리고 국내외 학술지 및 학회 발표를 통해 연구 성과를 널리 확산시키고 있습니다. 실용적이고 혁신적인 연구를 통해 산업계와 학계 모두에 기여하고 있습니다. 앞으로도 조장우 연구실은 컴퓨터공학의 이론적 연구와 실용적 응용을 아우르며, 소프트웨어의 신뢰성, 보안성, 그리고 지능화된 설계 자동화 기술 개발에 지속적으로 매진할 계획입니다.