Robert Boyer is a computer science expert. He used to work as a computer science and mathematics professor at Austin, specifically in the University of Texas. Not much is known of his private life but he definitely deserves a lot of credit for his contributions in his field. Not much is known of Robert Boyer’s private life except his accomplishments in his respective fields.
Robert Boyer is one of the renowned modern scientists in the field of mathematics, computer science, and though in a slightly unusual way, philosophy. He has worked with other 20th century scientists such as Professor J Strother Moore and Matt Kaufmann, and presumably other people who are also experts in the same field as his. He worked with Moore to develop a fast string searching algorithm named the Boyer-Moore string search algorithm in 1977. Although the algorithm was named after the two prominent computer scientists, Manacher and Graham also collaborated with them during the creation and testing of the algorithm. In 1992, he and Moore developed the Nqthm theorem prover which was actually ACL2’s precursor—technically Nqthm’s successor. He also co-authored several books about mathematics, logics, computer science, and at some point philosophy. Some of his major academic works include: A Computational Logic Handbook; Automated Reasoning: Essays in honor of Woody Bledsoe; A Computational Logic Handbook; The Correctness Problem in Computer Science; A Computational Logic.
Much of Robert Boyer’s contribution was concentrated on the field of mathematics more than any of his other field expertise. He dedicated most of his life doing mathematical projects and researches. In his most active years in the field, he worked with his co-faculty Professor J. Moore in the University of Texas. His works have been used as major stepping stones in the development of newer algorithms that are actually being used by some modern computers inside machineries today. Without this man’s contribution in the field of mathematics, it would have taken a lot more time for other scientists to attain the level and sophistication of the algorithm being used by machines today.
As a student, I can say that I was inspired by the way how Robert Boyer contributed in the field of computer sciences. He is one of the many intelligent people who, despite the major significance of his contributions, receive less credit than what he truly deserves. Machineries are being used everywhere, especially in the industrialized countries. Without Robert Boyer and his co-workers’ algorithms, the world would have to make use of currently outdate machine technologies, which of course, would limit the economic and societal benefits (factory output is usually directly proportional to sales, revenues, and profits) of modern factories.
Association for Computing Machinery. (2006). ACM Press Release. ACM.
Boyer, R., Moore, S., Manacher, G., & Graham, S. (1977). A Fast String Searching Algorithm. Communications of the ACM.
Kaufmann, M., & Boyer, R. (1995). The Boyer-Moore Theorem Prover and its Interactive Enhancement. Computers and Mathematics with Applications.