Daniel J. Fremont is an Assistant Professor in the Computer Science and Engineering department at the University of California, Santa Cruz. He received a Ph.D. in Logic and the Methodology of Science from UC Berkeley, and an S.B. in Mathematics and Physics from MIT. He works in the area of formal methods, using automated reasoning to improve the reliability of software, hardware, and cyber-physical systems. He develops practical algorithms for system design, verification, and testing, as well as theory for the core computational problems underlying them. Recently, he led the development of algorithmic improvisation, a mathematical framework enabling the correct-by-construction synthesis of systems which use randomness to enhance robustness, variety, or unpredictability. Among other applications, he has used his tools to synthesize robotic controllers, verify quantitative security properties of programs, and systematically test and train machine learning models for autonomous cars.