Generate a tailored SOP for Dr. J Moore. Improve your application with a focused, well-structured draft.
J Strother Moore holds the Admiral B.R. Inman Centennial Chair in Computing Theory at the University of Texas at Austin. He is an expert in automated theorem proving and mechanical verification of computing systems. Moore is a co-author of the Boyer-Moore theorem prover and the fast string searching algorithm, collaborating with Bob Boyer and Matt Kaufmann on significant advancements in the field. He received his BS from the Massachusetts Institute of Technology in 1970 and his PhD from the University of Edinburgh in 1973. Throughout his career, he has contributed to the field by co-founding Computational Logic, Inc., where he served as chief scientist for ten years. Moore is widely recognized for his work and has received numerous accolades, including the ACM Software System Award in 2005 and the Herbrand Award in 1999. He has served on the faculty as the chair of the Department of Computer Science from 2001 to 2009. Moore is a Fellow of the Association for the Advancement of Artificial Intelligence, ACM, and the National Academy of Engineering, and is a Corresponding Fellow of the Royal Society of Edinburgh.
General requirements for the Graduate School at UT Austin apply to all programs unless otherwise specified.