🎓GeoAcademyGeoVerse Lab
← GeoAcademy System Administration College

Software Engineering & Development Center

This department trains software engineers to treat research software as a first-class artifact. Students work project by project across concrete artifact types — complete verified packages (GeoCode), micro-function blocks (GeoHub), verified numerical modules (GeoSDK), agent-executable knowledge blocks (GeoShelf), and GitHub research-code reproduction (GeoStream) — while learning to design taxonomies, build verification gates, and establish provenance/lineage standards distinct from database operations and application-runtime operations. Graduates leave able to take research code and turn it into a trustworthy, reusable asset on their own.

⚙️ 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 DepartmentDatabase & Knowledge Systems DepartmentAI Operations & Automation DepartmentCybersecurity & Compliance DepartmentApplication & Simulation Operations CenterMeta-Governance & Interface CenterSoftware Engineering & Development Center

Field-based Curriculum · 18

This department's curriculum is built directly on the GeoVerse Lab research fields its professors hold — click a field to see how it is taught.

Formal Verification & Separation Logic
Formal Verification & Separation Logic
Separation logic extends Hoare logic to pointers and shared state. This course t…
John C. Reynolds
Model Checking & Temporal Logic Verification
Model Checking & Temporal Logic Verification
Model checking is push-button exhaustive verification. This course teaches tempo…
Edmund M. Clarke
Programming Language Semantics & Abstract Machines
Programming Language Semantics & Abstract Machines
Teaches formal semantics and abstract machines so that learners reason from spec…
Peter J. Landin
Program Synthesis & Deductive Correctness Derivation
Program Synthesis & Deductive Correctness Derivation
Deductive program synthesis constructs the program and its correctness proof tog…
Zohar Manna
Structured Programming & Control-Flow Discipline
Structured Programming & Control-Flow Discipline
Teaches the discipline of composing programs from sequence, selection and iterat…
Corrado Böhm
Cleanroom Software Engineering & Statistical Process Discipline
Cleanroom Software Engineering & Statistical Process Discipline
Cleanroom aims at preventing defects rather than removing them. This course teac…
Harlan D. Mills
Software Science & Complexity Measurement
Software Science & Complexity Measurement
Software science is the first quantitative theory built on counting the code bod…
Maurice H. Halstead
Code Review, Inspection & Peer-Review Culture
Code Review, Inspection & Peer-Review Culture
Teaches peer review as an engineered quality gate rather than a courtesy, traini…
Gerald M. Weinberg
Software Testing Theory & Defect Taxonomy
Software Testing Theory & Defect Taxonomy
Teaches systematic test selection and evaluation over an effectively infinite in…
Boris Beizer
Software Reliability Engineering
Software Reliability Engineering
Teaches the methodology of software reliability engineering — turning release de…
John D. Musa
Software Development Lifecycle & Process Models
Software Development Lifecycle & Process Models
Lifecycle models are decisions about risk allocation and information flow. This …
Winston W. Royce
Software Packaging & Modular Subroutine Libraries
Software Packaging & Modular Subroutine Libraries
Software packaging is the triangle of callable unit, relocation, and catalog. Th…
David J. Wheeler
Verified Numerical Software Engineering
Verified Numerical Software Engineering
Verified numerical software engineering joins algorithmic stability analysis to …
George E. Forsythe
Programming Language & Software Component Taxonomy
Programming Language & Software Component Taxonomy
Teaches taxonomy design that makes evolving populations of software artifacts de…
Jean E. Sammet
Software Component Reuse & Componentry
Software Component Reuse & Componentry
Teaches the engineering and economic principles of component-based reuse — assem…
Brad J. Cox
Agent-Executable Knowledge Representation & Planning Blocks
Agent-Executable Knowledge Representation & Planning Blocks
The STRIPS representation formalizes actions as executable operators. This cours…
Nils J. Nilsson
Documentation Science & Information Provenance
Documentation Science & Information Provenance
Taught to turn documentation science's core insight — documents are evidence — i…
Suzanne Briet
Program Complexity Metrics & Control-Flow Graph Analysis
Program Complexity Metrics & Control-Flow Graph Analysis
Cyclomatic complexity is a static measure of branching topology. This course tea…
Dénes Kőnig