|
Robert S. Boyer
Robert Stephen Boyer is an American retired professor of computer science, mathematics, and philosophy at University of Texas at Austin, The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string-search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also collaborated on the Boyer–Moore automated theorem prover, Nqthm, in 1992. Following this, he worked with Moore and Matt Kaufmann on another theorem prover called ACL2. Publications Boyer has published extensively, including the following books: * ''A Computational Logic Handbook'', with J S. Moore. Second Edition. Academic Press, London, 1998. * ''Automated Reasoning: Essays in Honor of Woody Bledsoe'', editor. Kluwer Academic, Dordrecht, The Netherlands, 1991. * ''A Computational Logic Handbook'', with J S. Moore. Academic Press, New York, 1988. * ''The Correctness Problem in Computer Science'', editor, with J S. Moore. Academic Press, London, 198 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doctor Of Philosophy
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common Academic degree, degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is an earned research degree, those studying for a PhD are required to produce original research that expands the boundaries of knowledge, normally in the form of a Thesis, dissertation, and defend their work before a panel of other experts in the field. The completion of a PhD is often a requirement for employment as a university professor, researcher, or scientist in many fields. Individuals who have earned a Doctor of Philosophy degree may, in many jurisdictions, use the title ''Doctor (title), Doctor'' (often abbreviated "Dr" or "Dr.") with their name, although the proper etiquette associated with this usage may also be subject to the professional ethics of their own scholarly field, culture, or society. Those who teach at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
