Building the infrastructure that makes complex engineering software trustworthy. 15+ years at the intersection of physics, mathematics, and large-scale software.