Samuel R. Buss
Professor, Computer Science and Engineering
Bounded arithmetic, proof theory and complexity, mathematical logic and behavioral logic. Professor Buss teaches courses including Mathematical Logic, Computer Graphics, and Propositional Proof Complexity. His book on "3D Computer Graphics: A Mathematical Introduction with OpenGL," is due out this year from Cambridge University Press.
Jacobs School Faculty Update Your Profile