소프트웨어공학개발센터

소프트웨어공학개발센터 소속 학과는 연구소프트웨어를 1급 산출물로 다루는 소프트웨어 엔지니어를 양성한다. 학생은 완성 검증코드 카탈로그(GeoCode), 미세함수 블록(GeoHub), 검증 수치모듈(GeoSDK), 에이전트 실행 지식블록(GeoShelf), GitHub 연구코드 재현(GeoStream) 등 실제 산출물 유형별로 프로젝트를 수행하며, DB 운영·애플리케이션 런타임 운영과 구분되는 택소노미 설계, 검증게이트 구축, 출처추적(provenance) 표준 수립 방법을 익힌다. 졸업생은 연구 코드를 신뢰 가능한 재사용 자산으로 바꿔내는 일을 스스로 해낼 수 있다.

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

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

🤖

🔑

⭐ 에츠허르 데이크스트라

학과장

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

🔑

1935–2013

존 C. 레이놀즈

연구원(정형검증/분리논리)

💡 공유 가변 상태를 다루는 프로그램 검증을 위한 분리논리 발명(2002), 매개변수다형성에 대한 추상화정리 증명(1983)

🔑

1945–2020

에드먼드 M. 클라크

연구원(모델체킹/시제논리검증)

💡 계산나무논리(CTL) 기반 모델체킹 공동발명(1981) — 유한상태 시스템의 자동전수검증을 가능케 함, 2007년 ACM 튜링상 수상

🧑‍🔬

🔑

1930–2009

피터 J. 랜딘

연구원(프로그래밍언어 의미론/추상기계)

💡 람다계산을 통해 프로그래밍언어에 엄밀한 의미론을 부여할 수 있음을 보이고 SECD 추상기계(1964) 설계, '차세대 700개 프로그래밍언어'(1966)에서 ISWIM 제안

🧑‍🔬

🔑

1939–2018

조하르 만나

연구원(프로그램합성/연역적 정합성 유도)

💡 형식명세로부터 처음부터 올바르게 구성된 프로그램을 유도하는 연역적 프로그램합성(리처드 왈딩거와 공동개발), 병행시스템의 시제논리 검증(아미르 프누엘리와 공동개발)

🔑

1923–2017

코라도 뵘

연구원(구조적 프로그래밍/제어흐름 규율)

💡 주세페 야코피니와 함께 임의의 흐름도 프로그램이 순차·선택·반복만으로 재작성될 수 있음을 증명(1966) — 구조적 프로그래밍의 수학적 토대

🧑‍🔬

🔑

1919–1996

할런 D. 밀스

연구원(클린룸 소프트웨어공학/통계적 공정규율)

💡 수학적으로 검증된 설계와 통계적 사용기반테스트를 결합한 클린룸 소프트웨어공학 및 수석프로그래머팀 개념 창안

🧑‍🔬

🔑

1918–1979

모리스 H. 할스테드

연구원(소프트웨어과학/복잡도측정)

💡 연산자·피연산자 개수 기반의 최초의 체계적 프로그램복잡도 정량이론인 '소프트웨어과학'(1977, 할스테드 복잡도지표) 창시

🧑‍🔬

🔑

1933–2018

제럴드 M. 와인버그

연구원(코드리뷰/인스펙션/동료검토 문화)

💡 '자아없는 프로그래밍' 문화를 제시한 <컴퓨터 프로그래밍의 심리학>(1971) 저술 — 구조적 코드리뷰 문화의 지적 토대

🧑‍🔬

🔑

1934–2018

보리스 베이저

연구원(소프트웨어테스팅이론/결함분류체계)

💡 블랙박스/화이트박스 테스트기법과 결함분류체계를 엄밀한 학문으로 정립한 <소프트웨어 테스팅 기법>(1983) 저술

🧑‍🔬

🔑

1933–2009

존 D. 무사

연구원(소프트웨어신뢰성공학)

💡 실행시간 기반 고장모델과 운영프로파일 개념을 개발하여 소프트웨어신뢰성공학(SRE) 창시 — 정량적 출시인증의 기반

🔑

1929–1995

윈스턴 W. 로이스

연구원(소프트웨어개발 생명주기/프로세스모델)

💡 '대형 소프트웨어시스템 개발관리'(1970) 저술 — 단계적개발 도식이 훗날 워터폴모델로 대중화(및 종종 오독)됨

🔑

1927–2004

데이비드 J. 휠러

연구원(소프트웨어패키징/모듈형 서브루틴라이브러리)

💡 EDSAC에서 폐쇄형 서브루틴과 서브루틴 호출 메커니즘('휠러 점프') 발명 — 최초의 서브루틴라이브러리와 모듈형 재사용의 시초

🔑

1917–1972

조지 E. 포사이드

연구원(검증 수치소프트웨어공학)

💡 스탠퍼드대학교 컴퓨터과학과 창설(1965), 수치해석과 컴퓨터과학을 엄밀한 학문분과로 정립

🔑

1928–2017

진 E. 새밋

연구원(프로그래밍언어/소프트웨어컴포넌트 택소노미)

💡 프로그래밍언어의 최초 포괄적 체계 분류서 <프로그래밍언어: 역사와 기초>(1969) 저술, ACM 최초 여성회장

🧑‍🔬

🔑

1944–2021

브래드 J. 콕스

연구원(소프트웨어 컴포넌트 재사용/부품화)

💡 Objective-C 공동창시(1981), 소프트웨어모듈을 집적회로처럼 제조·목록화·재사용가능한 부품으로 취급하는 '소프트웨어-IC' 개념 제안

🔑

1933–2019

닐스 J. 닐슨

연구원(에이전트실행 지식표현/계획블록)

💡 자율 에이전트가 목표달성을 위한 지식블록 계획을 세우고 실행할 수 있게 한 전제조건-효과 행위표현 형식체계 STRIPS 공동창안(1971), A* 탐색알고리즘 공동발명

🔑

1894–1989

쉬잔 브리에

연구원(문헌정보학/정보출처이론)

💡 '문헌이란 무엇인가?'(1951) 저술로 문헌정보학 창시 — 문헌을 사실에 대한 증거로 조직된 대상으로 정의, 출처추적/메타데이터 개념의 뿌리

🔑

1884–1944

데네시 쾨니그

연구원(프로그램 복잡도 지표/제어흐름 그래프 분석)

💡 최초의 그래프이론 교과서(1936), 이분그래프 매칭의 쾨니그 정리