Robert Stephen Boyer

Robert Stephen Boyer is an American mathematician, computer scientist, and philosopher known for his contributions to automated theorem proving and formal verification. He is Professor Emeritus in the Department of Computer Science at the University of Texas at Austin. His research interests include logic, proof assistants, and computational mathematics.