<p>Some pockets of interest in computer-checked proofs in the US in the 1980s and 1990s.  Several important research projects and initiatives in the US in the late 1990s and early 2000s that helped raise awareness in the US of computer-checked proofs: proof-carrying code, the POPLmark challenge.</p>

Some pockets of interest in computer-checked proofs in the US in the 1980s and 1990s. Several important research projects and initiatives in the US in the late 1990s and early 2000s that helped raise awareness in the US of computer-checked proofs: proof-carrying code, the POPLmark challenge.

<p>Some pockets of interest in computer-checked proofs in the US in the 1980s and 1990s.&nbsp; Several important research projects and initiatives in the US in the late 1990s and early 2000s that helped raise awareness in the US of computer-checked proofs: proof-carrying code, the POPLmark challenge.</p>

Computer-Checked Proofs in American Research

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Computer-Checked Proofs in American Research

Sign up to save your podcasts

Computer-Checked Proofs in American Research

Computer-Checked Proofs in American Research