기계학습 및 딥러닝을 위한 차세대 지능형 알고리즘을 설계하고 분석하는 세계 최고 수준의 AI 알고리즘 연구실입니다. 대규모 생성 모델, 확산 확률 모델(Diffusion Models), 신경망 최적화 및 강건한 학습 이론을 집중 연구합니다.
🇰🇷 대한민국 대표 알고리즘 & AI 연구실
12개 연구실컴퓨터 과학의 이론적 토대인 알고리즘 설계와 분석, 계산 복잡도 이론을 바탕으로 대규모 그래프 데이터, 문자열 검색, 암호학 및 생물정보학 문제를 해결하는 국내 대표 컴퓨터이론 연구실입니다.
불확실성이 존재하는 환경에서 최적의 결정을 내리는 순차적 의사결정 이론, 강화학습(Reinforcement Learning), 밴딧(Bandit) 문제 및 온라인 학습 알고리즘의 이론적 토대와 응용을 연구합니다.
계산 기하학(Computational Geometry)과 조합 최적화(Combinatorial Optimization)를 중심으로 현실 세계의 다양한 공간 및 최적화 문제를 빠르고 효율적으로 해결하는 알고리즘을 설계하고 수학적으로 분석합니다.
NP-hard 최적화 문제에 대한 이론적 해결책을 제시하는 근사 알고리즘(Approximation Algorithms), 기하 최적화, 그래프 알고리즘의 계산 복잡도 및 효율성을 이론적으로 탐구하는 연구실입니다.
[원문 보존] KAIST 전산학부의 계산이론 연구실(tclab.kaist.ac.kr)로, 계산 복잡도 분석, 효율적 알고리즘 설계 기법, 오토마타 및 정형 이론의 기틀을 마련한 유서 깊은 연구실입니다. 웹 아카이브 원문과 최신 전산이론 그룹을 연결합니다.
[원문 보존] 연세대학교 양성봉 교수의 연구실(mythos.yonsei.ac.kr)로, 자연의 진화 원리를 모방한 유전 알고리즘(Genetic Algorithms) 및 진화 연산(Evolutionary Computations) 기반 최적화 알고리즘 연구의 산실입니다.
인공지능 모델 훈련을 위한 대규모 연속 및 볼록 최적화 알고리즘, 신경망의 일반화 오차 한계 규명, 머신러닝 알고리즘의 수렴 속도 보장 이론을 중점적으로 연구합니다.
[원문 보존] 경희대학교 컴퓨터공학과의 알고리즘 전문 연구실(algorithms.kyunghee.ac.kr)로, 알고리즘 분석 및 설계, 이산수학적 최적화 기법을 연구해 온 원문 사이트를 아카이브로 보존하여 제공합니다.
[원문 보존] 충북대학교 알고리즘 연구실(algo.chungbuk.ac.kr)로, 데이터 정렬, 효율적 인덱싱, 탐색 알고리즘과 소프트웨어 시스템 최적화 기법을 다루었던 연구실의 원문 기록입니다.
[원문 보존] 배재대학교 알고리즘 연구실(algorithm.pcu.ac.kr)로, 알고리즘 구현 및 효율적 문제 해결 기법 연구를 선도했던 연구실의 초기 웹 아카이브 원문 링크입니다.
[원문 보존] 국내 주요 대학과 학술 기관의 알고리즘 관련 연구실, 교수 연구 페이지 및 최신 논문 웹페이지를 구글 검색 엔진을 통해 실시간으로 탐색할 수 있는 바로가기 컬렉션입니다.
🌐 해외 유명 알고리즘 & AI 이론 연구실
8개 연구실MIT CSAIL 내 이론 컴퓨터과학의 총본산으로, 튜링상 수상자들을 다수 배출한 세계 최고의 알고리즘 그룹입니다. 현대 머신러닝의 통계적 학습 이론, 계산 한계 분석, 게임 이론과 인공지능의 결합 연구를 주도합니다.
전 세계 알고리즘 및 계산이론 석학들이 모이는 글로벌 연구 허브입니다. 심층 신경망(Deep Neural Networks)의 이론적 수학 모델링, 뇌 과학과 AI 계산 이론, 대규모 알고리즘의 사회적 공정성을 연구하는 최고 싱크탱크입니다.
스탠퍼드 AI 랩(SAIL)과 유기적으로 결합되어 통계적 기계학습의 수학적 한계, 대규모 고차원 데이터 처리를 위한 근사 알고리즘, 신경망 학습 역학(Dynamics)을 연구하는 세계적 이론 그룹입니다.
컴퓨터 과학 최고의 명문 CMU의 알고리즘 그룹으로, CMU 머신러닝 학과(MLD)와 긴밀히 연계되어 무작위 알고리즘, 최적화 이론, 딥러닝 아키텍처의 이론적 효율성 검증에 선구적인 연구를 발표하고 있습니다.
머신러닝의 수학적 기초인 PAC(Probably Approximately Correct) 러닝을 창시한 레슬리 밸리언트 교수를 비롯한 세계적 대가들이 딥러닝 이론의 정밀한 수학적 해명과 지능 시스템의 계산 가능성 한계를 연구합니다.
전설적인 알고리즘 거두 로버트 타잔 교수와 딥러닝 이론 연구의 세계적 권위자 산지브 아로라 교수가 이끄는 연구 그룹으로, 딥러닝의 일반화(Generalization)와 최적화 궤적을 설명하는 현대적 알고리즘 연구를 선도합니다.
유럽 최고 수준의 컴퓨터과학 연구를 자랑하는 옥스퍼드 대학의 알고리즘 그룹으로, 그래프 신경망(GNN)의 표현력 한계 규명, 조합 최적화 및 제약 만족 문제(CSP)에 대한 혁신적인 알고리즘적 접근을 연구합니다.
독일 막스플랑크 정보학 연구소(MPI-INF)의 알고리즘 부서로, 실시간으로 변화하는 초대형 네트워크를 위한 동적 그래프 알고리즘, 분산 병렬 최적화 및 기하학적 데이터 알고리즘 분야에서 독보적인 성과를 내고 있습니다.