PRL Seminars

Professor MacKenzie is a historian and sociologist of computer science. His interest is now in formal verification. He has written an article on the sociology of proof and at least two books on the history and sociology of aspects of computer science. One is called Inventing Accuracy about the development of guided missiles. The other is Knowing Machines about AI.

He will give a 20 minute summary of his talk in STS on Monday, and then I will try to coax him to talk with us about the role of formal proofs. I might need to talk for 15 minutes myself to provoke the right response.