b. 1946
Richard J. Lipton is an American computer scientist and mathematician known for foundational contributions to computational complexity theory. His work on the limits of efficient computation has philosophical implications for the nature of mathematical and logical knowledge, particularly regarding the relationship between a priori reasoning and computational feasibility.
Co-developed the Karp-Lipton theorem on the consequences of NP having polynomial-size circuits
Pioneered work on program testing and software verification
Created the influential blog 'Gödel's Lost Letter and P=NP' exploring open problems in computation
Contributed to the study of computational limits on logical and mathematical reasoning