동시 및 분산 시스템을 위한 알고리즘 개발과 분석

학업 성취도를 개선하고 STEM 직업에서 성공하는 데 도움이 되는 요인을 발견하는 종단 연구

정적 분석, 검증, 프로그램 변환을 기반으로 도구를 만들기 위해 소프트웨어 개발에 정형 기법 적용

최신 동시 알고리즘 개발, 검증, 테스트, 벤치마킹

SE 및 그외 분야에서의 협업 프로세스를 연구하여 차세대 협업 도구를 구현

사이버 물리적 시스템용 제어 프로그램 개발을 위한 이론적 토대, 언어, 도구

모바일 로봇의 자기 지향 알고리즘 개발 및 SLAM 문제 해결

정보 보호를 위한 암호화 방법의 연구 및 응용

입자 물리학 연구 및 기타 유사한 분야를 위한 계측 도구 및 방법 개발

천체입자 물리학의 데이터 분석에 최신 컴퓨팅 기술 적용

AI 에이전트를 훈련하는 새로운 방법 모색

다양한 문제에서 최첨단 머신러닝 기술 응용

신경 조직 개발 및 관련 세포 과정의 시뮬레이션 모델링

실제 생물학 및 의학 문제에 컴퓨터 과학 방법 응용

프로그래밍 언어 및 도구에 대한 기초 연구 지원

다양한 소프트웨어 엔지니어링 영역의 난해한 최적화 문제 해결

두 영역의 모범 사례를 통합하여 코드를 개발하고 개선하는 새로운 방법 모색

일반적인 입력의 구조를 면밀히 파악하여 계산적으로 어려운 문제에 대한 정확한 알고리즘 구축

근본적인 후성유전학적 조절 메커니즘과 세포 분화 및 노화에서 이 매커니즘의 역할 파악

동종 요법 유형 이론에 따라 종속 유형의 언어 제작

과학적 생물의학 논문에서 지식을 추출하기 위한 딥 러닝 기반 도구