Jonathan Sprinkle is a Professor of Computer Science at Vanderbilt University. Videos found here are supported by generous donors such as Litton Industries, John M. Leonis, Ed and Joan Biggers, MathWorks, and by various federal agencies, including the National Science Foundation, Air Force Office of Scientific Research, the U.S. Department of Energy, and the Air Force Research Lab. Other legal: Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation, AFOSR, AFRL, DOE, the University of Arizona, Vanderbilt University, and their donors.