Bob Neveln got his BS in mathematics from Caltech in 1967 and his PhD in 1975 from Northwestern University. In the 1980s he worked on theorem proving with Woody Bledsoe at the University of Texas at Austin. He currently teaches mathematics and computer science at Widener University in Chester, Pennsylvania which hosts the proofcheck.org website which he maintains. He is the author of Linux Assembly Language Programming. He met his Iraqi wife in Baghdad while on an Academics for Peace trip just before the U.S. invasion of 2003.
- March 11th 8:30 a.m. – 8:35 a.m.
- 31. ProofCheck: Checking Mathematical Proofs written in TeX