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

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

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

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

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

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

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

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

기초 및 응용 AI 연구

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

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

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