Paul Beame

Paul Beame is a Professor in the Department of Computer Science & Engineering at the University of Washington.

Paul received his B.Sc. in Mathematics in 1981, an M.Sc. in Computer Science in 1982, and Ph.D. in Computer Science in 1987, all from the University of Toronto. He was a Post-doctoral Research Associate at M.I.T. for the 1986-87 academic year and joined the University of Washington in Autumn 1987.

Research

Paul's research is concerned primarily with computational complexity. His main interest is in proving lower bounds on the resources needed for solving computational problems.

Some topics of current interest in this area include

In addition, Paul is interested in problems related to formal reasoning and verification. (There are connections to proof complexity and time-space tradeoff lower bounds!) He has worked on the application and extension of the techniques of symbolic model checking for the verification of software specifications. Most recently, with Henry Kautz, he is studying the common inference problems encountered in AI and symbolic model checking using the perspective of proof complexity.

Service

Paul is vice-chair of the IEEE Technical Committee on Mathematical Foundations of Computing. He is currently program chair for CCC 2008. See the CCC08 List of Accepted Papers .

Personal

Paul enjoys squash and softball and other sports where enthusiasm can compensate for a lack of talent.

Paul Beame
Department of Computer Science and Engineering
Box 352350
University of Washington
Seattle, WA 98195-2350

beame at cs.washington.edu
(206)-543-5114

Room 668
Allen Center for Computer Science and Engineering