Faculty

Institution

Unit

Venue

J Strother Moore

Admiral BR Inman Centennial Chair Emeritus in Computing Theory

University of Texas at Austin

Affiliations

College of Natural Sciences

Computer Science

J Strother Moore is currently serving as a College Of Natural Sciences Admiral BR Inman Centennial Chair Emeritus in Computing Theory at University of Texas At Austin.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

J Strother Moore

University of Texas at Austin

Admiral BR Inman Centennial Chair Emeritus in Computing Theory

You can click a keyword to filter the displayed items

computer science formal methods formal verification automated reasoning machine learning logic in computer science systems engineering theory of computation proof theory theoretical computer science computer engineering verification mechanical engineering computational logic mechanical verification artificial intelligence scientific computing formal technique natural language processing proof system theorem prover computer-assisted reasoning mathematical proof formal specification operational semantics reasoning system computer-aided reasoning mechanical proof fuzzy logic computational intelligence information technology computer-aided design software verification program checking computability theory partial functions program verification vehicular technology electronics programming languages mobile computing system software approximate reasoning machine learning research mathematical programming computational optimization string processing search technology string-searching algorithm search technique simulation modelling logic synthesis simulation methodology optimization problems function theory equivalence checking mechanism analysis first-order logic trusted operating system talent development programming language theory algorithmic information theory computational complexity theory virtual machines hardware architecture computational logic handbook correctness problem lisp functions common lisp systems verification heuristic theorem provers commercial microprocessors floating-point division program industrial strength version interactive enhancement boyer-moore theorem prover software analysis automated proof knowledge representation and reasoning software engineering automated deduction computer-aided verification design automation

Notable Scholarly Works

Notable Federal Grants

Collaborators

Acl2 Support for Floating-Point Computations. Lecture notes in computer science (2024)

Matt KaufmannJ Strother Moore

floating-point computationscomputer sciencealgorithmic developmentcomputational optimizationcomputational science

Advances in Acl2 Proof Debugging Tools. Electronic Proceedings in Theoretical Computer Science (2023)

Matt KaufmannJ Strother Moore

proof complexitycomputer sciencedebuggertheory of computationformal methodsproof systemtheoretical computer scienceproof theory

Proceedings Seventeenth International Workshop on the Acl2 Theorem Prover and Its Applications. Electronic Proceedings in Theoretical Computer Science (2022)

Matt KaufmannJ Strother Moore

international workshoptheory of computationtheoretical computer sciencecomputer science

VWSIM: A Circuit Simulator. arXiv (Cornell University) (2022)

Warren A. HuntVivek RamanathanJ Strother Moore

circuit designcircuit simulationcircuit simulatorengineeringelectrical engineering

Overview. Routledge eBooks (2021)

Philip A. Loubere

Program Verification. Communications of the ACM (2021)

Moshe Y. Vardi

formal methodsprogram checkingcomputer scienceprogram verification

Recollections of Hope Park Square, 1970–1973. Springer eBooks (2021)

J Strother Moore

hope park square

Iteration in Acl2. arXiv (Cornell University) (2020)

Matt KaufmannJ Strother Moore

particle physicsapplied mathematics

Milestones From the Pure Lisp Theorem Prover to Acl2. Formal Aspects of Computing (2019)

J. Strother Moore

scientific computingcomputer scienceformal methodsformal verificationtheoretical computer science

Reference Guide. CRC Press eBooks (2019)

Mark A. OyamaMarc S. KrausAnna R. Gelzer

reference guide

1
2
3
4
5
13
10 / page

J Strother Moore

Admiral BR Inman Centennial Chair Emeritus in Computing Theory

University of Texas at Austin

Affiliations

College of Natural Sciences

Computer Science

J Strother Moore is currently serving as a College Of Natural Sciences Admiral BR Inman Centennial Chair Emeritus in Computing Theory at University of Texas At Austin.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

J Strother Moore

University of Texas at Austin

Admiral BR Inman Centennial Chair Emeritus in Computing Theory

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Acl2 Support for Floating-Point Computations. Lecture notes in computer science (2024)

Matt KaufmannJ Strother Moore

floating-point computationscomputer sciencealgorithmic developmentcomputational optimizationcomputational science

Advances in Acl2 Proof Debugging Tools. Electronic Proceedings in Theoretical Computer Science (2023)

Matt KaufmannJ Strother Moore

proof complexitycomputer sciencedebuggertheory of computationformal methodsproof systemtheoretical computer scienceproof theory

Proceedings Seventeenth International Workshop on the Acl2 Theorem Prover and Its Applications. Electronic Proceedings in Theoretical Computer Science (2022)

Matt KaufmannJ Strother Moore

international workshoptheory of computationtheoretical computer sciencecomputer science

VWSIM: A Circuit Simulator. arXiv (Cornell University) (2022)

Warren A. HuntVivek RamanathanJ Strother Moore

circuit designcircuit simulationcircuit simulatorengineeringelectrical engineering

Overview. Routledge eBooks (2021)

Philip A. Loubere

Program Verification. Communications of the ACM (2021)

Moshe Y. Vardi

formal methodsprogram checkingcomputer scienceprogram verification

Recollections of Hope Park Square, 1970–1973. Springer eBooks (2021)

J Strother Moore

hope park square

Iteration in Acl2. arXiv (Cornell University) (2020)

Matt KaufmannJ Strother Moore

particle physicsapplied mathematics

Milestones From the Pure Lisp Theorem Prover to Acl2. Formal Aspects of Computing (2019)

J. Strother Moore

scientific computingcomputer scienceformal methodsformal verificationtheoretical computer science

Reference Guide. CRC Press eBooks (2019)

Mark A. OyamaMarc S. KrausAnna R. Gelzer

reference guide

1
2
3
4
5
13
10 / page

Similar Faculty Members

Cesare Tinelli

Institution

University of Iowa

programming language

model checking

David A. Plaisted

Institution

University of North Carolina at Chapel Hill

mechanical theorem proving

software engineering

Clark Barrett

Institution

Stanford University

computer science

formal methods

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Saumya Debray

Institution

University of Arizona

static program analysis

software security

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Vladimir Lifschitz

Institution

University of Texas at Austin

knowledge-based reasoning

computational logic

Andrew Appel

Institution

Princeton University

computer science

formal methods

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing

Similar Faculty Members

Cesare Tinelli

Institution

University of Iowa

programming language

model checking

David A. Plaisted

Institution

University of North Carolina at Chapel Hill

mechanical theorem proving

software engineering

Clark Barrett

Institution

Stanford University

computer science

formal methods

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Saumya Debray

Institution

University of Arizona

static program analysis

software security

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Vladimir Lifschitz

Institution

University of Texas at Austin

knowledge-based reasoning

computational logic

Andrew Appel

Institution

Princeton University

computer science

formal methods

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing