Davis Geometric
Project directory

Projects & tools.

Browse the engineering projects, research companions and tools by domain or research setting.

Simulation specification

Aurora

Atmospheric modeling

Conservation checks built into the simulation interface: what a timestep should preserve, and when a solver should stop.

Telemetry platform

Demeter

Agricultural telemetry

Agricultural observations organized around water, nutrients, equipment and the growing season, with the source of each parameter kept explicit.

Technical specification

USAspending / IDAS

Data integrity & investigative analytics

Read-only checks on spending-data pipelines, schema governance, and evidence bundles that let an analyst trace a finding back to its records.

Simulation companion

BlackIce

Reproducible security simulation

An explicit simulated world for replaying security exercises, comparing state and inspecting graph-based memory. Includes controlled browser experiments and a validation record for the current reconstruction.

Sensor-fusion demonstrator

Kraken

Maritime sensing

A maritime analysis workflow that keeps sensor disagreement, uncertainty and decision provenance visible.

Security research tool

SCJ

Software security

Structural code investigation with three merged F Prime contributions: two local safety checks and a reusable CodeQL query.

Research companion

Icarus

Guidance, navigation & control

Connected geometric descriptions of the body and the air, alongside navigation-advisory experiments.

Book & analysis project

The Geometry of War

Conflict & geopolitical systems

From the Helicity project and Psychohistory paper to a book on economic interdependence, diplomatic alignment and network structure.

Computational diagnostic

Chihiro

Plasma confinement & stability

How plasma shape enters a stability calculation: geometry comparisons, equilibrium studies and a Rust implementation with distinct instability diagnostics.

Database & documentation

GIGI

Geometric data systems

A database interface for defining bundles, inserting measurements and comparing transported states.

Simulation & design records

Halcyon

Lattice gauge models

Finite-lattice gauge-field simulations, with conceptual hardware drawings kept distinct from the computational results.

Market-analysis project

Helicity

Market structure & order-flow measurement

The broader market-analysis project containing LAMINAR, a study of order-flow coherence labels across twelve futures instruments, with replay and perturbation controls.

Language-model companion

Marcella

Language modeling

Reply composition over GIGI and a separate line of generative-model experiments, with their records distinguished.

Research app

Mirador

Molecular modeling & drug response

Research into molecular representations, target context and drug-response modeling.

Data study

Oshun

Permeability & ingredient science

Ingredient science for textured hair: preserve measured substrate context, inspect ingredient predictions and refusals, and design the hair-fiber experiments needed to test the approach. The current feasibility study uses human-skin data.

Computational study

Phaethon

Power-system stability

Grid-stability research connecting generator oscillations, loss of synchronism and energy barriers. A public benchmark kit checks the static operator against classical analysis; the wider program studies winding history and local stress.

Reconciliation app

Prism

Financial reconciliation

Payment records compared across formats, with translation, matching decisions and audit evidence kept explicit.

Paper & reproduction

SSSP

Shortest-path algorithms

Sequential solvers compared through bucket width, duplicate work and local lookahead—including where the methods lose.

Research settings describe where the work was developed, as attributed by Bee Rosa Davis. Project sites retain their own interfaces; the linked research notes explain the evidence and scope.

Have a question about a project?

Get in touch →