Please answer the following question: Facts: - known for: bounded arithmetic boolean formula evaluation - field: computer science , mathematics - doctoral advisor: simon kochen - work institution: university , san diego of california , berkeley , university of california - name: samuel r. buss - image size: 150px - alma mater: princeton university emory university Based on these bullet points, write a short biography describing the life of samuel buss .
A:
samuel r. buss -lrb- a.k.a. sam buss -rrb- is an american computer scientist and mathematician who has made major contributions to the fields of mathematical logic , complexity theory and proof complexity .he is currently a professor at the university of california , san diego , department of computer science and department of mathematics .