연구 그룹
지능형 협업 도구 연구소
SE 및 그외 분야에서의 협업 프로세스를 연구하여 차세대 협업 도구를 구현
모바일 로봇 알고리즘 연구소
모바일 로봇의 자기 지향 알고리즘 개발 및 SLAM 문제 해결
천체입자 물리학
천체입자 물리학의 데이터 분석에 최신 컴퓨팅 기술 적용
신경발달학 및 신경생리학 그룹
신경 조직 개발 및 관련 세포 과정의 시뮬레이션 모델링
프로그래밍 언어 및 도구 연구소
프로그래밍 언어 및 도구에 대한 기초 연구 지원
소프트웨어 엔지니어링에 머신러닝 방법 적용
두 영역의 모범 사례를 통합하여 코드를 개발하고 개선하는 새로운 방법 모색
AI 랩
기초 및 응용 AI 연구
BioLabs
근본적인 후성유전학적 조절 메커니즘과 세포 분화 및 노화에서 이 매커니즘의 역할 파악
HoTT 및 종속 유형 그룹
동종 요법 유형 이론에 따라 종속 유형의 언어 제작
Paper-Analyzer
과학적 생물의학 논문에서 지식을 추출하기 위한 딥 러닝 기반 도구