Books by Aaron R. Bradley

Dr. Aaron R. Bradley obtained his PhD in Stanford University under the supervision of Prof. Zohar Manna, with whom he cowrote the graduate textbook "The Calculus of Computation". From 2008 to 2011 he was on the staff of the Dept. of Electrical, Computer, and Energy Engineering at the University of Colorado, Boulder where he taught the undergraduate engineering course on programming. He is now on the staff of the Summit Charter Middle School in Boulder, teaching mathematics.