GeoVerse Lab
โ† GeoVerse System Administration Division

Software Engineering & Development Center

Develops and curates research software as first-class artifacts: complete verified packages (GeoCode), micro-function blocks (GeoHub), verified numerical modules (GeoSDK), agent-executable knowledge blocks (GeoShelf), and GitHub research-code reproduction (GeoStream) โ€” establishing taxonomy, verification gates, and provenance/lineage standards distinct from database operations (DBS) and application runtime operations (APP).

Infrastructure & Cloud Operations CenterDatabase & Knowledge Systems CenterAI Operations & Automation CenterCybersecurity & Compliance CenterApplication & Simulation Operations CenterMeta-Governance & Interface CenterSoftware Engineering & Development Center
Research Fields 18
Formal Verification & Separation Logic
๐Ÿ”’ Formal Verification & Separation Logic
Formal verification establishes that a program satisfies its specification by mathematicalโ€ฆ
Model Checking & Temporal Logic Verification
๐Ÿ” Model Checking & Temporal Logic Verification
Model checking is an automatic verification technique that determines whether a finite-staโ€ฆ
Programming Language Semantics & Abstract Machines
๐Ÿ“ Programming Language Semantics & Abstract Machines
Programming language semantics gives a mathematically precise answer to what a program meaโ€ฆ
Program Synthesis & Deductive Correctness Derivation
๐Ÿงฎ Program Synthesis & Deductive Correctness Derivation
Deductive program synthesis constructs a program together with a proof of its correctness โ€ฆ
Structured Programming & Control-Flow Discipline
๐Ÿ”€ Structured Programming & Control-Flow Discipline
Structured programming is the discipline of composing programs from a small fixed set of cโ€ฆ
Cleanroom Software Engineering & Statistical Process Discipline
๐Ÿงผ Cleanroom Software Engineering & Statistical Process Discipline
Cleanroom software engineering, developed by Harlan Mills and colleagues at IBM's Federal โ€ฆ
Software Science & Complexity Measurement
๐Ÿ“ Software Science & Complexity Measurement
Software science, formulated by Maurice Halstead in the 1970s, is the first quantitative tโ€ฆ
Code Review, Inspection & Peer-Review Culture
๐Ÿ‘ฅ Code Review, Inspection & Peer-Review Culture
This field studies how the human process of peer review finds defects and improves code, tโ€ฆ
Software Testing Theory & Defect Taxonomy
๐Ÿงช Software Testing Theory & Defect Taxonomy
Software testing theory is the systematic study of how to choose, execute and evaluate tesโ€ฆ
Software Reliability Engineering
๐Ÿ“ˆ Software Reliability Engineering
Software reliability engineering quantifies the probability that software will operate witโ€ฆ
Software Development Lifecycle & Process Models
๐Ÿชœ Software Development Lifecycle & Process Models
Software lifecycle engineering analyses how development should be organised in time: whichโ€ฆ
Software Packaging & Modular Subroutine Libraries
๐Ÿ“ฆ Software Packaging & Modular Subroutine Libraries
Software packaging is the discipline of assembling programs from independently written, inโ€ฆ
Verified Numerical Software Engineering
๐Ÿ”ข Verified Numerical Software Engineering
Verified numerical software engineering is the discipline that demands numerical algorithmโ€ฆ
Programming Language & Software Component Taxonomy
๐Ÿ—‚๏ธ Programming Language & Software Component Taxonomy
Software taxonomy is the systematic classification of software artifacts โ€” languages, compโ€ฆ
Software Component Reuse & Componentry
๐Ÿงฑ Software Component Reuse & Componentry
Component-based software engineering treats software modules as manufactured, catalogued, โ€ฆ
Agent-Executable Knowledge Representation & Planning Blocks
๐Ÿค– Agent-Executable Knowledge Representation & Planning Blocks
This field designs formal representations of action that let an autonomous agent select anโ€ฆ
Documentation Science & Information Provenance
๐Ÿ“œ Documentation Science & Information Provenance
Documentation science is the study of documents as evidence: how objects โ€” texts, but alsoโ€ฆ
Program Complexity Metrics & Control-Flow Graph Analysis
๐Ÿ•ธ๏ธ Program Complexity Metrics & Control-Flow Graph Analysis
Control-flow graph analysis measures program complexity by modelling code as a graph โ€” nodโ€ฆ