← GeoAcademy System Administration College

Meta-Governance & Interface Center

This department cultivates senior governance competency spanning the cross-cutting ontology layer and the policies mediating agent-to-external-world interfaces. Students analyze ontology evolution through the geoontology skeleton, entity/relation type systems, and the PROV-O audit ledger, and study the design principles behind the geomcp external LLM gateway, the geoclaw command-inbox contract, and the geoharness skill/persona registry. By graduation, students can take on the job of designing and auditing governance policy for complex multi-agent systems themselves.

⚙️ GeoAcademy System Administration College 🖥️ AI & Computing Sciences College 🔬 Basic Sciences College ⚡ Intelligent Geophysical Exploration College 🛢️ Resource & Energy Engineering College 🌍 Applied Geoscience Solutions College 💼 Economics, Policy & Strategy for the Future College 🎓 Education & Training Development College 🚀 Innovation & International Collaboration College

Infrastructure & Cloud Operations Department Database & Knowledge Systems Department AI Operations & Automation Department Cybersecurity & Compliance Department Application & Simulation Operations Center Meta-Governance & Interface Center Software Engineering & Development Center

🤖

🔑

⭐ Douglas Engelbart

Chair

Researchers (real GeoVerse Lab members) 16

🔑

1937–2017

Rudolf Wille

Researcher

💡 Inventor of Formal Concept Analysis (1980s), a lattice-theoretic method for structuring concepts from object-attribute data — the mathematical basis for building and restructuring hierarchical ontologies

🧑‍🔬

🔑

1951–2005

Alberto O. Mendelzon

Researcher

💡 Pioneer of view maintenance and semistructured/graph data query theory, whose work on schema and query rewriting under changing data structures underlies principled ontology-evolution management

🧑‍🔬

🔑

1882–1961

Hilary Jenkinson

Researcher

💡 Formulated the modern English-language doctrine of archival provenance and the 'moral defence' of archives — the principle that a record's evidential value depends on an unbroken, documented chain of custody

🔑

1445–1517

Luca Pacioli

Researcher

💡 First to publish a systematic description of the double-entry bookkeeping system (1494), whose self-balancing debit/credit structure underlies every modern tamper-evident audit ledger

🧑‍🔬

🔑

1936–2022

Gio Wiederhold

Researcher

💡 Coined and formalized the 'mediator' architecture (1992) for reconciling semantics across heterogeneous, independently evolving information sources — a foundational pattern for semantic interoperability

🔑

1945–2020

Larry Tesler

Researcher

💡 Championed the 'no modes' design principle and invented cut/copy/paste at Xerox PARC and Apple, establishing predictable, mode-free interaction as a core human-computer interface policy

🧑‍🔬

🔑

1924–2000

Donald Davies

Researcher

💡 Independently invented packet switching (1965-66) and coined the term, designing the NPL network's store-and-forward routing — the architectural ancestor of every modern gateway that multiplexes many clients over shared channels

🔑

1935–2003

Roger Needham

Researcher

💡 Co-authored the Needham-Schroeder authentication protocol (1978), the ancestor of Kerberos, which formalized how a system verifies that an incoming message or instruction genuinely comes from a trusted source

🔑

1910–1985

Tjalling Koopmans

Researcher

💡 Developed activity analysis and the theory of efficient allocation (Nobel Memorial Prize in Economic Sciences, 1975), showing how to identify cost-minimizing allocations of scarce resources among competing activities

🔑

1940–2007

Jean Ichbiah

Researcher

💡 Chief designer of the Ada programming language (1977-1983), whose package/interface model of strongly-typed, independently verifiable modules is a direct ancestor of modern skill/plugin registries

🔑

1922–1982

Erving Goffman

Researcher

💡 Developed dramaturgical analysis and impression management theory (1959), describing how actors maintain a consistent presented self across different social 'stages' — the conceptual root of governing coherent agent personas across contexts

🔑

1904–1980

Gregory Bateson

Researcher

💡 Central figure of the Macy Conferences on Cybernetics, who extended feedback-regulation theory to human communication and behavior (double-bind theory, 1956), showing how systemic communication patterns shape and constrain conduct

🧑‍🔬

🔑

1952–1996

Yuri Rubinsky

Researcher

💡 Leading promoter and commercializer of SGML in the 1980s-90s (founder of SoftQuad, creator of HoTMetaL), who drove structure-based markup toward becoming the basis of the web's HTML/XML hyperdocument linking

🧑‍🔬

🔑

1922–1991

Cliff Shaw

Researcher

💡 Co-created the Logic Theorist (1956), the first AI program, and invented the linked list while building the Information Processing Language (IPL) — the symbolic-architecture foundation for augmenting reasoning beyond raw pattern matching

🔑

1919–2006

Henriette Avram

Researcher

💡 Developed the MARC (MAchine-Readable Cataloging) format (1965-1971) at the Library of Congress, the first widely ratified machine-readable metadata interchange standard shared across independent institutions

🧑‍🔬

🔑

1934–2010

Robin Milner

Researcher

💡 Created the Calculus of Communicating Systems (CCS, 1980) and later the pi-calculus, the foundational algebraic frameworks for formally specifying and verifying how concurrent processes communicate through channels