GeoVerse Lab
AI·컴퓨팅과학연구본부

과학을 위한 AI 센터

단백질 구조 예측, 신소재 설계, 기상·기후 모델링, 수학적 추론 등 과학 발견을 가속하는 AI 방법론(과학용 파운데이션 모델, 물리 기반·등변 신경망, 시뮬레이션 기반 추론)을 개발하며, 본부 간 AI4Science 협업을 주도한다.

⚙️ 지오버스시스템관리연구본부🖥️ AI·컴퓨팅과학연구본부🔬 기초과학연구본부⚡ 지능형지구물리탐사연구본부🛢️ 자원에너지공학연구본부🌍 응용지구과학연구본부💼 경제정책미래전략연구본부🎓 교육훈련인재양성연구본부🚀 혁신사업화국제협력연구본부
머신러닝연구센터자연어처리연구센터컴퓨터비전연구센터고성능컴퓨팅센터양자컴퓨팅연구센터생성형AI·파운데이션모델 센터강화학습·에이전트 센터AI 안전·정렬 센터과학을 위한 AI 센터로보틱스·임바디드 AI 센터
마빈 민스키🔑
센터장
마빈 민스키
센터장(과학을 위한 AI 센터)
💡 AI 공동창시자, 인지과학, 마음의 사회 이론
프리츠 츠비키🔑
1898–1974
프리츠 츠비키
연구원(AI 기반 천문학/천체측량조사)
💡 대규모 체계적 하늘탐사(팔로마 전천탐사) 개척 및 은하단 역학에서 암흑물질 추론, AI기반 분류·발견 파이프라인이 작동하는 탐사규모 관측천문학의 기원
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
예지 네이만🔑
1894–1981
예지 네이만
연구원(인과발견/과학실험설계)
💡 인과추론의 잠재결과 프레임워크 및 현대 가설검정이론(네이만-피어슨) 창시, 오늘날 AI기반 인과발견기법의 통계적 토대
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
루이스 프라이 리처드슨🔑
1881–1953
루이스 프라이 리처드슨
연구원(AI 기반 기상·기후예측)
💡 1922년 원시방정식을 수동계산으로 풀어 수치일기예보를 창시, GraphCast급 AI기상모델이 수천배 가속하는 분야의 기원
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
거트루드 엘리언🔑
1918–1999
거트루드 엘리언
연구원(AI 기반 신약발견/합리적분자설계)
💡 병원체·암세포와 정상세포 간 생화학경로 차이를 표적으로 하는 합리적 신약설계를 개척, 생성형 AI 신약발견이 자동화하는 표적기반 설계 패러다임의 기원
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
월리스 스미스 브로커🔑
1931–2019
월리스 스미스 브로커
연구원(AI 기반 지구시스템과학)
💡 정량적 지구시스템과학 창시, '지구온난화'용어 최초사용(1975) 및 해양 컨베이어벨트 열염순환모델 정립, 지구시스템 AI 에뮬레이터의 토대
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
프레더릭 생어🔑
1918–2013
프레더릭 생어
연구원(AI 기반 유전체학/전산생물정보학)
💡 단백질서열분석 및 DNA 디데옥시서열분석법 개발로 현대 유전체학과 딥러닝 유전체모델 학습의 기반이 되는 서열데이터 생성
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
라이너스 폴링🔑
1901–1994
라이너스 폴링
연구원(신소재발굴/역설계)
💡 화학결합의 양자역학적 이론 정립 및 결정구조 예측 경험법칙(폴링의 규칙) 확립, 합리적·AI기반 신소재설계의 토대
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
존 앨런 로빈슨🔑
1930–2016
존 앨런 로빈슨
연구원(자동수학발견/정리증명)
💡 1965년 상쇄원리(resolution)와 단일화알고리즘 발명, 오늘날 AI기반 수학발견시스템의 근간인 자동정리증명·논리프로그래밍의 기초 추론기법 확립
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
장 르레🔑
1906–1998
장 르레
연구원(신경연산자/연산자학습)
💡 편미분방정식 해의 존재성을 증명하는 대수적위상수학기법(르레-쇼더 사상도, 스펙트럼열) 창시, 연산자학습 신경망의 수렴성 분석의 이론적 기초
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
🧑‍🔬
🔑
1898–1969
워런 스터지스 매컬럭
연구원(AI 기반 전산신경과학)
💡 월터 피츠와 함께 뉴런을 논리·연산단위로 모델링한 최초의 수학적 신경모델 공동창시, 전산신경과학과 현대딥러닝이 계보로 잇는 인공신경망의 기원
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
막스 페루츠🔑
1914–2002
막스 페루츠
연구원(단백질구조예측/전산구조생물학)
💡 X선결정학으로 최초의 단백질(헤모글로빈) 3차원구조를 규명, 구조생물학 창시 및 AlphaFold급 모델이 자동화하는 구조-기능 패러다임 확립
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
존 포플🔑
1925–2004
존 포플
연구원(양자화학/분자기계학습)
💡 가우스기저 제일원리 전산양자화학기법 및 Gaussian 소프트웨어 개발, 현대 분자머신러닝 포텐셜 학습에 쓰이는 양자역학 라벨데이터 생성
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
조지 E. P. 박스🔑
1919–2013
조지 E. P. 박스
연구원(시뮬레이션기반추론/불확도정량화)
💡 '모든 모형은 틀렸지만 일부는 유용하다'는 통계적 모형화 철학과 반응표면/실험계획법 확립, 시뮬레이션기반추론 및 대리모델 불확도정량화의 토대
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
쿠르트 오토 프리드리히스🔑
1901–1982
쿠르트 오토 프리드리히스
연구원(물리기반신경망/과학기계학습)
💡 쿠란트연구소 공동설립자, 편미분방정식 이론(프리드리히스 확장, 대칭쌍곡계, CFL조건)의 토대 마련, 수치 PDE 해법의 근간
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
테오도어 폰 카르만🔑
1881–1963
테오도어 폰 카르만
연구원(난류/유체역학 대리모델링)
💡 현대 항공역학 및 난류이론 창시(카르만 소용돌이열, 카르만 운동량적분법), 난류 신경PDE 대리모델의 검증기준이 되는 고전 유체역학 벤치마크 확립
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터
도러시 호지킨🔑
1910–1994
도러시 호지킨
연구원(결정학/회절기반구조결정 AI)
💡 X선결정학으로 페니실린·비타민B12·인슐린 구조를 규명, 구조예측 AI의 학습·검증 기준이 되는 표준 구조데이터와 위상결정법 확립
🖥️ AI·컴퓨팅과학연구본부과학을 위한 AI 센터