Loading memory…
Loading memory…
Co-Founder and CTO — Stanford Aero/Astro PhD with thesis on safe machine learning. Author of "Algorithms for Validation" textbook. Lecturer for "Validation of Safety-Critical Systems" course at Stanford. Industry experience at Reliable Robotics, MIT Lincoln Laboratory, Johns Hopkins Applied Physics Laboratory, and NASA.