Build trustworthy numerical software through mathematical models, discretisation, solvers, precision, reproducibility, and validation.
