J Strother Moore — Computer Science & Eng. faculty at UT Austin. Research: Research Interests: Automatic and machine-assisted theorem proving Application to.