서정훈 연구실은 소프트웨어학과에 소속되어 있으며, 컴파일러와 프로그래밍 언어 분야의 선도적인 연구를 수행하고 있습니다. 본 연구실은 컴파일러의 이론적 연구와 실제 구현을 아우르며, 최신 프로그래밍 언어의 설계와 최적화, 그리고 소프트웨어 개발 도구 개발에 중점을 두고 있습니다. 컴파일러 연구에서는 소스 코드의 분석, 변환, 최적화, 코드 생성 등 전 과정을 심도 있게 다루고 있습니다. 특히, 다양한 프로그래밍 언어와 하드웨어 아키텍처를 지원하는 범용 및 특화 컴파일러 개발에 주력하고 있습니다. 이를 통해 소프트웨어 개발의 효율성과 신뢰성을 높이고자 합니다. 프로그래밍 언어 연구에서는 새로운 언어의 문법 및 의미론 설계, 타입 시스템, 오류 검출 메커니즘 등 다양한 주제를 다루고 있습니다. 또한, 개발자들이 보다 안전하고 효율적으로 소프트웨어를 개발할 수 있도록 다양한 소프트웨어 개발 도구를 연구 및 개발하고 있습니다. 본 연구실은 이론적 연구와 실용적 응용을 동시에 추구하며, 실제 산업 현장에서 활용 가능한 기술 개발에도 힘쓰고 있습니다. 오픈소스 생태계와의 연계를 통해 연구 성과를 널리 확산시키고, 소프트웨어 산업 발전에 기여하고 있습니다. 앞으로도 서정훈 연구실은 컴파일러 및 프로그래밍 언어 분야에서 혁신적인 연구를 지속하며, 소프트웨어 공학의 발전을 선도할 것입니다.