Our approach
Methods
Scientific questions call for different tools. We use mathematics, formal proof, computation, and observation together.
How we investigate
Four ways of knowing
01
Mathematics
Build precise descriptions of relation, structure, continuation, and change.
02
Formal verification
Make definitions, assumptions, and mathematical results inspectable.
03
Computation
Explore models, simulations, reconstructions, and sensitivity to assumptions.
04
Observation
Connect mathematical ideas to the world through data, comparison, and calibration.
Scientific rigor
Evidence makes discovery durable.
We preserve the assumptions, methods, computation, and observations that support a finding. That record makes a result understandable, reproducible, and available for the next question.
Explore the research →