역산모델링학과

역산모델링학과는 지구물리 파라미터를 추정하기 위한 역산이론과 순방향 모델링의 수학적 기초를 탄탄히 다진다. 학생은 최적화·정규화·확률적 프레임워크를 활용해 불량조건(ill-posed) 역문제를 다루는 알고리즘을 직접 구현하고 검증한다. 졸업생은 새로운 지구물리 문제를 마주하면 그에 맞는 역산 알고리즘을 수리적으로 설계하고 코드로 구현해낼 수 있다.

⚙️ 지오아카데미시스템관리대학 🖥️ AI·컴퓨팅과학대학 🔬 기초과학대학 ⚡ 지능형지구물리탐사대학 🛢️ 자원에너지공학대학 🌍 응용지구과학대학 💼 경제정책미래전략대학 🎓 교육훈련대학 🚀 혁신국제협력대학

탄성파탐사이미징학과 중자력탐사학과 전자기탐사학과 지진학과 통합지구물리해석학과 역산모델링학과 물리검층암석물리학과

🔑

⭐ 타란톨라

학과장

💡 Probabilistic Inverse Theory & Uncertainty Quantification

연구원(실제 GeoVerse Lab 소속) 12

🔑

1931–2014

제임스 프리먼 길버트

연구원(백커스-길버트 역이론/모델분해능)

💡 조지 백커스와 함께 지구물리자료 역산을 위한 백커스-길버트법(최적국소평균법) 공동개발

🔑

1928–2001

자크-루이 리옹

연구원(수반상태법/PDE제약최적화)

💡 최적제어이론과 편미분방정식 제약 최적화의 수반상태법 개발, 수반상태법 지구물리역산의 수학적 기초

🧑‍🔬

🔑

1921–2009

올기에르드 지엔키에비치

연구원(유한요소 정모델링)

💡 복잡한 정모델링 문제 해결의 표준 수치기법인 유한요소법(FEM) 개척

🔑

1915–1999

니콜라스 메트로폴리스

연구원(몬테카를로/MCMC역산)

💡 로스앨러모스에서 몬테카를로법과 메트로폴리스 알고리즘(마르코프연쇄 몬테카를로 및 시뮬레이티드어닐링의 기초) 공동발명

🔑

1865–1963

자크 아다마르

연구원(비적정문제이론/정규화기초)

💡 적정문제(존재성, 유일성, 안정성) 개념 도입 및 비적정성 규명, 지구물리역산에 쓰이는 모든 정규화이론의 동기가 된 기초개념

🔑

1922–1998

에드윈 톰프슨 제인스

연구원(베이즈 불확실성정량화/최대엔트로피추론)

💡 불완전정보하 추론을 위한 엄밀한 체계로서 베이즈확률론의 최대엔트로피 해석 창시

🧑‍🔬

🔑

1939–2016

로저 플레처

연구원(경사도기반/준뉴턴최적화)

💡 BFGS, DFP, FR 준뉴턴 최적화기법 공동개발, 지구물리역산 전반에 쓰이는 대규모 비선형 최적화의 표준 알고리즘

🧑‍🔬

🔑

1929–2024

스벤 트레이텔

연구원(유한차분 정모델링)

💡 유한차분 합성지진기록 논문(Kelly, Ward, Treitel & Alford, 1976) 공동저술, FD 파동방정식모델링을 표준 지구물리도구로 확립

🔑

1922–2015

진 암달

연구원(고성능/병렬컴퓨팅 기반 지구물리역산)

💡 병렬컴퓨팅 가속의 근본적 한계를 밝힌 암달의 법칙(1967) 정식화, IBM에서 메인프레임/고성능 컴퓨터 아키텍처 개척

🔑

1930–2016

루돌프 E. 칼만

연구원(순차적/재귀적 베이즈추정)

💡 칼만필터(1960) 발명, 잡음 섞인 자료로부터 동적계를 순차적으로 최적추정하는 표준 재귀알고리즘

🧑‍🔬

🔑

1929–2015

존 헨리 홀런드

연구원(전역/진화최적화)

💡 진화연산기법인 유전알고리즘 발명(1975), 고도로 비선형적·다중모드적인 지구물리역문제에 쓰이는 전역최적화기법으로 다윈의 진화론을 전산화

🧑‍🔬

🔑

1932–2022

블라스티슬라프 체르베니

연구원(광선이론/주시토모그래피)

💡 복잡한 불균질·이방성매질에서의 지진 광선추적 및 동적광선추적 현대이론 확립, 표준참고서 'Seismic Ray Theory'(2001) 저술