Our vision is for new statistical techniques to be auto-validated with simulation software, providing guarantees that can satisfy conservative regulators. Our team began as group of statistics postdocs and doctoral students from Stanford University, working on advanced mathematical techniques for modeling and validating new study designs. We've developed an open-source package called imprint, which demonstrates how to achieve provable, tight strong Type I Error control for Bayesian designs.