🎓GeoAcademyGeoVerse Lab
← 지오아카데미시스템관리대학

메타거버넌스·인터페이스센터

메타거버넌스·인터페이스센터 소속 학과는 시스템 전체를 가로지르는 온톨로지 계층과 에이전트-외부세계 인터페이스 정책을 다루는 상위 거버넌스 역량을 양성한다. 학생은 geoontology 스켈레톤·entity/relation 타입 체계·PROV-O 감사 원장을 통해 온톨로지 진화 과정을 분석하고, geomcp 외부 LLM 게이트웨이, geoclaw 명령 인박스 계약, geoharness 스킬·페르소나 레지스트리의 설계 원리를 학습한다. 졸업 시에는 복잡한 멀티에이전트 시스템의 거버넌스 정책을 직접 설계하고 감사하는 일을 맡을 수 있다.

⚙️ 지오아카데미시스템관리대학🖥️ AI·컴퓨팅과학대학🔬 기초과학대학⚡ 지능형지구물리탐사대학🛢️ 자원에너지공학대학🌍 응용지구과학대학💼 경제정책미래전략대학🎓 교육훈련대학🚀 혁신국제협력대학
인프라클라우드운영학과데이터베이스지식시스템학과AIOps자동화학과사이버보안컴플라이언스학과응용·시뮬레이션운영센터메타거버넌스·인터페이스센터소프트웨어공학개발센터

연구분야 기반 커리큘럼 · 16

이 학과 교수진이 GeoVerse Lab에서 담당하는 연구분야를 그대로 커리큘럼의 뼈대로 씁니다 — 클릭하면 해당 분야를 어떻게 가르치는지 볼 수 있습니다.

온톨로지공학/형식개념분석
온톨로지공학/형식개념분석
형식개념분석은 관측된 데이터에서 개념 격자를 도출한다. 이 과목은 갈루아 연접의 수학 위에 온톨로지를 데이터로부터 세우는 방법을 가르친다.
루돌프 빌레
온톨로지 진화/스키마 변경관리
온톨로지 진화/스키마 변경관리
스키마는 시간에 따라 변하며 종속 산출물을 일관되게 유지해야 한다. 이 과목은 점진적 뷰유지와 반구조화 데이터 모델링으로 진화 관리를 가르친다.…
알베르토 멘델존
출처원칙/PROV-O 감사계보
출처원칙/PROV-O 감사계보
출처원칙은 기록을 생산자와 이행 연쇄에 귀속시킨다. 이 과목은 기록학의 fonds 원칙을 PROV-O 감사 계보로 형식화하는 법을 가르친다.
힐러리 젠킨슨
감사원장/책무기록관리
감사원장/책무기록관리
복식부기의 원장은 단일 오류도 탐지가능한 불균형을 만든다. 이 과목은 이 대차 원칙을 시스템 책무기록에 적용한 감사 원장을 설계하게 한다.
루카 파치올리
시맨틱 상호운용성/이종데이터 중재
시맨틱 상호운용성/이종데이터 중재
시맨틱 상호운용성은 단위와 분류체계의 충돌까지 조정한다. 이 과목은 중재자 아키텍처로 이종 소스에 대한 통합 질의를 설계하게 한다.
지오 위더홀드
에이전트-인간 인터페이스 정책/무모드 상호작용 설계
에이전트-인간 인터페이스 정책/무모드 상호작용 설계
무모드 상호작용은 같은 행위가 항상 같은 결과를 내도록 하는 설계다. 이 과목은 숨겨진 모드의 위험과 상태의 명시적 제시를 인터페이스 정책으로 …
래리 테슬러
LLM/API 게이트웨이 아키텍처/패킷수준 라우팅
LLM/API 게이트웨이 아키텍처/패킷수준 라우팅
패킷교환은 전용회선을 통계적 다중화로 대체했다. 이 과목은 저장전달 라우팅과 계층화 원리를 게이트웨이 아키텍처로 이어 가르친다.
도널드 데이비스
프롬프트 인젝션 방어/적대적 입력 보안
프롬프트 인젝션 방어/적대적 입력 보안
프롬프트 인젝션 방어의 뿌리는 인증 프로토콜 이론이다. 이 과목은 신뢰경계 분리의 원칙을 LLM 시스템 보안에 적용하게 한다.
로저 니덤
비용인식 LLM 라우팅/최적자원배분
비용인식 LLM 라우팅/최적자원배분
비용인식 라우팅은 구속 조건 하의 자원 배분 문제다. 이 과목은 활동분석과 잠재가격의 개념으로 LLM 요청 라우팅을 최적화하게 한다.
찰링 코프만스
스킬/도구 레지스트리/모듈형 능력 패키징
스킬/도구 레지스트리/모듈형 능력 패키징
스킬 레지스트리는 능력을 계약이 강제되는 모듈로 패키징한다. 이 과목은 명세-본문 분리와 강타입 계약 검사의 원칙을 가르친다.
장 이슈비아
페르소나 거버넌스/연행론적 역할모델링
페르소나 거버넌스/연행론적 역할모델링
페르소나 거버넌스는 자기제시를 맥락에 맞은 공연으로 모델링한다. 이 과목은 고프만의 연행론을 일관되면서도 청중별인 에이전트 정체성 설계에 적용한…
어빙 고프만
행동가이던스/사이버네틱 조절
행동가이던스/사이버네틱 조절
사이버네틱 조절은 행동을 중앙통제기가 아니라 피드백 구조가 빚는다고 본다. 이 과목은 베이트슨의 통찰을 에이전트 행동 가이던스 설계에 옮긴다.
그레고리 베이트슨
하이퍼도큐먼트 링킹/마크업 표준화
하이퍼도큐먼트 링킹/마크업 표준화
일반화마크업은 문서 구조를 표시와 독립적으로 태깅한다. 이 과목은 SGML의 구조-표현 분리 원칙과 DTD 검증을 가르친다.
유리 루빈스키
증강지성/기호적 인지구조
증강지성/기호적 인지구조
기호적 인지구조는 구조화된 지식을 표현하고 추론공간을 탐색하게 한다. 이 과목은 논리이론가의 계보 위에 리스트처리와 휴리스틱 탐색을 가르친다.
클리프 쇼
메타데이터 스키마 거버넌스/교환표준
메타데이터 스키마 거버넌스/교환표준
메타데이터 교환표준은 독립 소프트웨어가 같은 태그를 같게 해석하게 만든다. 이 과목은 MARC의 설계와 표준위원회 거버넌스를 가르친다.
헨리에타 애브럼
명령프로토콜 계약무결성/프로세스대수
명령프로토콜 계약무결성/프로세스대수
프로세스대수는 동시 상호작용의 계약을 대수적으로 증명한다. 이 과목은 CCS와 파이대수의 기초를 읽고 프로토콜 무결성 검증을 수행하게 한다.
로빈 밀너