Brian Parkinson

1964

• Automated theorem proving in the ProTem programming language