Daniel Friedman

Daniel P. Friedman is a professor of computer science at Indiana University's Department of Informatics, Computing, and Engineering. He is the author of several MIT Press books, including The Little Schemer and The Seasoned Schemer (both with Matthias Felleisen), The Little Prover (with Carl Eastlund), and The Reasoned Schemer (with William E. Smith). Jason Hemann, Oleg Kiselyov, and Byrd).