Paul Beame

Digital Library

ACM Fellows

USA - 2019

citation

For contributions in computational and proof complexity and their applications, and for outstanding service

Press Release