Admiral B.R. Inman Centennial Professor of Theoretical Computer Science, University of Texas at Austin.
Professor J Moore is a computer scientist who works on mechanised mathematical methods to prove that computer hardware design and software function as formally specified. He is the co-author of an automatic theorem prover used to prove theorems about algorithms and code. The theorem prover is routinely used in several major microprocessor and software companies where it has helped discover design flaws. He became a Fellow of the Association for Computing Machinery in 2006 and in 2007 was elected to the National Academy of Engineering.
B4 Informatics, Mathematics and Statistics