Everett Hildenbrandt has spent over 6 years leading the technical direction for RV’s software tooling. He is passionate about providing high-quality and consistent developer tooling for all programming languages that emphasizes usability and power. In his journey from studying physics to working on validating the safety of distributed Web3 applications, he’s seen that formal methods can play a crucial role in improving the quality of software for everyone. During his time at RV, he’s driven broader adoption of formal verification through both education and bringing the verification tooling to the developers via improved UX.