연구 그룹

동시 및 분산 시스템을 위한 알고리즘

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

학습 연구 연구소

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

검증 또는 프로그램 분석 연구소

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

동시 컴퓨팅

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

지능형 협업 도구 연구소

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

사이버 물리 시스템 연구소

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

모바일 로봇 알고리즘 연구소

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

암호화 연구소

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

핵물리학 방법 연구소

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

천체입자 물리학

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

에이전트 시스템 및 강화 학습

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

머신러닝 애플리케이션 및 딥 러닝

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

신경발달학 및 신경생리학 그룹

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

생물정보학 그룹

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

프로그래밍 언어 및 도구 연구소

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

소프트웨어 엔지니어링의 최적화 문제

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

소프트웨어 엔지니어링에 머신러닝 방법 적용

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

매개변수화된 알고리즘 연구소

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

BioLabs

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

HoTT 및 종속 유형 그룹

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

Paper-Analyzer

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