인프라클라우드운영학과

인프라클라우드운영학과는 대규모 연구 인프라를 설계·운영할 수 있는 클라우드 엔지니어를 양성한다. 학생은 Kubernetes 클러스터 오케스트레이션 실습, 멀티클라우드 아키텍처 설계, Terraform·Ansible을 활용한 코드형 인프라(IaC) 구축, 컨테이너 레지스트리·이미지 최적화 프로젝트를 통해 확장 가능하고 복원력 있는 인프라 구현 능력을 기른다. 졸업생은 실제 연구 환경에서 안정적인 클라우드 인프라를 처음부터 구축하고 운영할 수 있다.

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

인프라클라우드운영학과 데이터베이스지식시스템학과 AIOps자동화학과 사이버보안컴플라이언스학과 응용·시뮬레이션운영센터 메타거버넌스·인터페이스센터 소프트웨어공학개발센터

🔑

⭐ 튜링

학과장

💡 Computing Infrastructure & System Architecture

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

🧑‍🔬

🔑

1916–1996

셀머 M. 존슨

연구원(컨테이너 오케스트레이션/분산 작업 스케줄링)

💡 2대기계 흐름작업 스케줄링의 최적해법인 존슨의 규칙(1954) 정립 — 컨테이너/클러스터 스케줄러의 기반이 되는 현대 작업스케줄링이론의 시조

🧑‍🔬

🔑

1946–2008

제럴드 J. 포펙

연구원(가상화/하이퍼바이저 아키텍처)

💡 컴퓨터 아키텍처를 효율적으로 가상화할 수 있는 조건을 정식화한 포펙-골드버그 정리(1974) 공동 정립

🧑‍🔬

🔑

1918–2010

허브 그로시

연구원(멀티클라우드 아키텍처/클라우드 컴퓨팅 경제학)

💡 중앙집중형 컴퓨팅의 규모의 경제 원리인 그로시의 법칙(1953) 정립 — 클라우드/유틸리티 컴퓨팅 비용논리의 선구

🔑

1944–2016

에드워드 요던

연구원(Infrastructure as Code/구조적 시스템 명세)

💡 1970년대 구조적분석·구조적설계 방법론을 개척하고 초기 객체지향 분석/설계 방법론을 공동 개발

🔑

1973–2015

이안 머독

연구원(컨테이너 레지스트리/소프트웨어 패키지 배포)

💡 구조적·의존성해결 패키지관리를 확립한 데비안 프로젝트(1993) 창립 — 컨테이너 이미지 포맷/레지스트리가 직계 계승

🔑

1935–2022

배리 보엠

연구원(CI/CD 파이프라인 공학)

💡 소프트웨어 개발의 나선형 모델(1986)과 COCOMO 비용추정 모델 개발 — 위험주도 반복적 빌드-릴리스 공학의 시조

🔑

1900–1993

W. 에드워즈 데밍

연구원(DevOps 문화/지속적 품질개선)

💡 DevOps 운동이 사상적 뿌리로 명시적으로 인용하는 PDCA(계획-실행-점검-조치) 사이클과 통계적 품질경영 철학 정립

🧑‍🔬

🔑

1934–2024

니클라우스 비르트

연구원(마이크로서비스 아키텍처/모듈형 시스템 분해)

💡 단계적 정련/모듈형 프로그래밍 규율 확립(1971), Pascal·Modula 설계, 1984년 튜링상 수상

🧑‍🔬

🔑

1900–1982

해스컬 커리

연구원(서버리스 컴퓨팅/함수형 서비스(FaaS))

💡 함수를 일급 조합가능한 값으로 다루는 결합논리와 '커링' 개념 개발 — 함수형 서비스(FaaS) 컴퓨팅의 개념적 뿌리

🧑‍🔬

🔑

1970–2001

대니 르윈

연구원(엣지 컴퓨팅/콘텐츠전송네트워크 아키텍처)

💡 일관해싱 공동발명 및 아카마이 테크놀로지스 공동창립(1998) — 전세계 분산 엣지 콘텐츠전송 분야 창시

🧑‍🔬

🔑

1928–2024

존 D. C. 리틀

연구원(로드밸런싱/트래픽 분배 이론)

💡 대기행렬이론의 근본관계식 L = λW(도착률-대기시간-점유수 관계)를 증명한 리틀의 법칙(1961) 정립

🔑

1905–1982

헨드릭 웨이드 보데

연구원(오토스케일링/탄력자원 피드백제어)

💡 벨연구소에서 현대 피드백제어이론을 개척, 안정적 피드백증폭기/제어루프 설계를 위한 보데선도와 이득/위상여유 분석법 개발

🔑

1937–2019

대니 코헨

연구원(서비스메시/서비스간 네트워크 프로토콜 공학)

💡 초기 ARPANET 프로토콜을 TCP와 IP 계층으로 분리(1978)하는 데 핵심적으로 기여 — 서비스메시 사이드카 구조를 포함한 모든 후속 네트워크 프로토콜 계층화의 기초

🔑

1928–2016

페터 나우르

연구원(GitOps/선언적 지속배포)

💡 프로그래밍언어 문법을 모호함 없이 명세하는 표기법인 배커스-나우르 형식(BNF) 공동 창시 및 ALGOL 60 보고서 편집 — 이후 모든 선언적 명세언어의 기초

🔑

1820–1910

플로렌스 나이팅게일

연구원(관측성/모니터링/통계적 메트릭 시각화)

💡 숨겨진 사망원인을 가시화·실행가능하게 만드는 통계그래픽(극좌표/'콕스콤' 다이어그램) 개척 — 시스템 모니터링을 위한 데이터시각화 분야 창시

🔑

1941–2009

아미르 프누엘리

연구원(분산시스템이론/시간적 정합성)

💡 동시성·분산 프로그램의 지속적 행동(안전성·생존성 속성)을 명세·검증하는 형식도구로서 시간논리 도입(1977)

🧑‍🔬

🔑

1951–1999

플라비우 크리스티안

연구원(장애허용/분산 클록동기화)

💡 장애허용 분산시스템을 위한 기초적 확률적 클록동기화 프로토콜인 크리스티안 알고리즘(1989) 개발