J. Paul Roth

1922

• Computer logic, testing, and verification
• Mathematical design
• Algorithmic design