컴퓨터이론 및 응용 연구실은 컴퓨터공학부 내에서 그래프 알고리즘, 문자열 알고리즘, 생물정보학, 암호학 등의 연구를 활발히 진행하고 있습니다. 최근 3년간 연구실은 다각적 Top-k 부분 그래프 질의를 위한 효율적인 알고리즘, 그래프 동형 문제를 위한 최신 알고리즘 비교, Supergraph Search 알고리즘 IDAR의 병렬화에 대한 실험 분석 등의 연구를 통해 그래프 알고리즘 분야에서 두각을 나타내고 있습니다. 또한, DNA 서열의 빠른 문자열 매칭, Cartesian tree 매칭을 위한 빠른 알고리즘 등 문자열 알고리즘 분야에서도 중요한 성과를 이루어냈습니다. 생물정보학 분야에서는 동형암호화를 통한 유사한 유전자 서열 찾기, Germline 및 Somatic 변이 호출 개선을 위한 새로운 방법인 RDscan을 개발하였습니다. 암호학 분야에서는 공통-곱셈 배치 모듈러 지수 계산의 빠른 방법을 연구하여 주목받고 있습니다. 이러한 연구 성과를 바탕으로 다양한 기업과의 R&D 프로젝트를 성공적으로 수행하고 있습니다.