연구 그룹
학업 성취도를 개선하고 STEM 직업에서 성공하는 데 도움이 되는 요인을 발견하는 종단 연구
정적 분석, 검증, 프로그램 변환을 기반으로 도구를 만들기 위해 소프트웨어 개발에 정형 기법 적용
최신 동시 알고리즘 개발, 검증, 테스트, 벤치마킹
SE 및 그외 분야에서의 협업 프로세스를 연구하여 차세대 협업 도구를 구현
사이버 물리적 시스템용 제어 프로그램 개발을 위한 이론적 토대, 언어, 도구
모바일 로봇의 자기 지향 알고리즘 개발 및 SLAM 문제 해결
정보 보호를 위한 암호화 방법의 연구 및 응용
입자 물리학 연구 및 기타 유사한 분야를 위한 계측 도구 및 방법 개발
AI 에이전트를 훈련하는 새로운 방법 모색
다양한 문제에서 최첨단 머신러닝 기술 응용
신경 조직 개발 및 관련 세포 과정의 시뮬레이션 모델링
실제 생물학 및 의학 문제에 컴퓨터 과학 방법 응용
프로그래밍 언어 및 도구에 대한 기초 연구 지원
다양한 소프트웨어 엔지니어링 영역의 난해한 최적화 문제 해결
두 영역의 모범 사례를 통합하여 코드를 개발하고 개선하는 새로운 방법 모색
일반적인 입력의 구조를 면밀히 파악하여 계산적으로 어려운 문제에 대한 정확한 알고리즘 구축
근본적인 후성유전학적 조절 메커니즘과 세포 분화 및 노화에서 이 매커니즘의 역할 파악
동종 요법 유형 이론에 따라 종속 유형의 언어 제작
과학적 생물의학 논문에서 지식을 추출하기 위한 딥 러닝 기반 도구
Applying modern computing techniques to data analysis in astroparticle physics
Developing and analyzing algorithms for concurrent and distributed systems