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

양자컴퓨팅연구센터

양자 어닐링, 변분 양자 고유값 솔버(VQE), Qiskit·Cirq 기반 양자머신러닝 등 양자 알고리즘을 탐구하여 지구물리 역산과 저류층 시뮬레이션의 최적화 문제, 즉 탄성파 역산·주시 토모그래피와 같은 NP-난해 문제를 다룬다.

⚙️ 지오버스시스템관리연구본부🖥️ AI·컴퓨팅과학연구본부🔬 기초과학연구본부⚡ 지능형지구물리탐사연구본부🛢️ 자원에너지공학연구본부🌍 응용지구과학연구본부💼 경제정책미래전략연구본부🎓 교육훈련인재양성연구본부🚀 혁신사업화국제협력연구본부
머신러닝연구센터자연어처리연구센터컴퓨터비전연구센터고성능컴퓨팅센터양자컴퓨팅연구센터생성형AI·파운데이션모델 센터강화학습·에이전트 센터AI 안전·정렬 센터과학을 위한 AI 센터로보틱스·임바디드 AI 센터
리처드 파인만🔑
센터장
리처드 파인만
센터장(양자컴퓨팅연구센터)
💡 양자전기역학, 양자 컴퓨팅
존 스튜어트 벨🔑
1928–1990
존 스튜어트 벨
연구원(양자얽힘이론/비국소성)
💡 벨의 정리와 벨부등식 도출, 양자얽힘이 국소숨은변수이론으로는 불가능한 상관관계를 만든다는 것을 엄밀히 증명 — 얽힘이 양자계산우위에 활용되는 진정한 물리적 자원임을 확립하는 이론적 기초
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
폴 베니오프🔑
1930–2022
폴 베니오프
연구원(양자알고리즘/양자튜링머신)
💡 튜링머신의 양자역학적모델을 최초로 제안, 계산이 원리적으로 유니타리진화하는 양자계에 의해 수행될 수 있음을 규명 — 양자컴퓨터가 존재하고 계산할 수 있다는 창시적 제안
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
막스 보른🔑
1882–1970
막스 보른
연구원(양자어닐링/단열양자컴퓨팅)
💡 양자확률의 보른규칙 개발 및 양자역학의 단열정리 관련 기초연구 — 느리게진화하는 계가 바닥상태를 유지한다는 정확한 물리원리, 단열양자컴퓨팅·양자어닐링의 근간
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
발터 하이틀러🔑
1904–1981
발터 하이틀러
연구원(양자화학/분자결합시뮬레이션)
💡 프리츠 런던과 함께 공유결합의 최초 양자역학적 취급 공동개발, 양자화학 창시 — VQE 등 양자화학알고리즘이 풀고자하는 주요 목표문제인 분자해밀토니안의 학문
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
🧑‍🔬
🔑
1903–1995
알론조 처치
연구원(양자복잡도이론 기초)
💡 람다계산법과 처치-튜링명제 창시, 계산가능성·유효절차의 형식적 개념 확립 — 확장된 처치-튜링명제(및 이에 대한 양자계산적 도전)와 양자복잡도 클래스가 정의되는 이론적 기초
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
스티븐 위즈너🔑
1942–2021
스티븐 위즈너
연구원(양자암호/양자키분배)
💡 공액부호화와 양자화폐 발명, BB84 양자키분배프로토콜로 직접 이어진 창시적 개념 — 양자암호학의 이론적 기원
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
🧑‍🔬
🔑
1915–1998
리처드 해밍
연구원(양자오류정정/부호이론)
💡 해밍코드 발명 — 비트오류를 탐지·정정하는 최초의 실용적 오류정정부호 — 양자오류정정(안정자부호, CSS부호)이 직접 일반화하는 부호이론구조 창시
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
폴 디랙🔑
1902–1984
폴 디랙
연구원(양자게이트모델/양자상태형식체계)
💡 브라켓(디랙)표기법과 파동역학·행렬역학을 통합하는 변환이론 개발, 양자게이트·회로가 형식적으로 기술되는 정확한 수학적 언어(상태벡터, 유니타리연산자) 제공
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
🧑‍🔬
🔑
1927–1999
롤프 란다우어
연구원(양자정보이론/계산의 열역학)
💡 란다우어의 원리 정식화 — 정보소거에는 불가피한 최소 열역학적 에너지비용이 든다는 원리 — '정보는 물리적이다'라는 원칙 확립, 양자정보과학의 근간이 되는 정보이론과 물리학의 연결
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
다비트 힐베르트🔑
1862–1943
다비트 힐베르트
연구원(양자머신러닝을 위한 힐베르트공간형식체계)
💡 힐베르트공간이론 개발 — 양자상태가 존재하는 무한차원 내적공간 형식체계 — 양자머신러닝알고리즘(양자커널, 특징사상)이 데이터를 인코딩·조작하는 정확한 수학적 틀
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
유진 위그너🔑
1902–1995
유진 위그너
연구원(양자신경망을 위한 양자측정이론)
💡 엄밀한 양자측정이론('위그너의 친구' 사고실험) 창시 및 군론적 대칭원리를 양자역학에 적용, 양자신경망 회로로부터 측정을 통해 고전정보(예측, 분류)를 추출하는 방식 이해의 기초
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
🧑‍🔬
🔑
1952–2005
레오니트 하치얀
연구원(양자-고전 하이브리드최적화알고리즘)
💡 타원체법 개발 — 선형계획법의 최초 다항시간알고리즘 — 하이브리드 양자-고전알고리즘(QAOA, VQE)이 고전최적화루프에 의존하는 효율적 고전최적화이론 창시
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
유리 마닌🔑
1937–2023
유리 마닌
연구원(물리계의 양자시뮬레이션)
💡 (파인만과 별개로) 양자컴퓨터가 고전컴퓨터보다 지수적으로 효율적으로 양자물리계를 시뮬레이션할 수 있음을 독자적으로 제안, 양자시뮬레이션을 양자컴퓨팅의 대표응용으로 만든 초기 기초적통찰
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
존 바딘🔑
1908–1991
존 바딘
연구원(초전도 물리적큐비트구현)
💡 트랜지스터 공동발명 및 초전도 BCS이론 공동개발, 초전도큐비트(선도적 물리적 양자컴퓨팅플랫폼)가 공학적으로 구현되는 반도체·초전도물리학적 기초 모두 제공
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터
발터 리츠🔑
1878–1909
발터 리츠
연구원(변분법/양자화학시뮬레이션)
💡 레일리-리츠 변분법 개발 — 고유값·고유함수를 근사하는 방법 — 근미래 양자컴퓨팅의 대표적 분자·소재시뮬레이션 알고리즘인 변분양자고유값해법(VQE)의 정확한 수학적 원리
🖥️ AI·컴퓨팅과학연구본부양자컴퓨팅연구센터