Samuel R. Buss

Samuel R. Buss is a Professor of Mathematics and Computer Science at the University of California, San Diego (UCSD). He holds a Ph.D. in Mathematics from Princeton University (1985) and has expertise spanning mathematical logic, proof complexity, computational complexity, and computer graphics. His work bridges foundational mathematics with theoretical computer science, particularly in formal systems, automated reasoning, and algorithm design.

Key research areas include proof complexity (e.g., resolution and extended resolution systems), computational logic, and applications in computer graphics (e.g., OpenGL implementations and ray tracing). He authored influential books such as 3D Computer Graphics: A Mathematical Introduction with OpenGL and Introduction to Mathematical Logic. His software contributions include OpenGL-based tools and algorithms for computer graphics and satisfiability solving.

Buss has advised notable Ph.D. students, including David Robinson and Nathan Segerlind, and has received funding from NSF grants and other institutions. His research often intersects interdisciplinary topics like bounded arithmetic, computational geometry, and formal verification.