Andrew Reynolds

A

Andrew Reynolds

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

186

Papers

3.3K

Citations

28

h-index

62

i10-index

Andrew Reynolds is an academic researcher from University of Iowa. The author has contributed to research in topics: Formal Methods in Verification & Logic, programming, and type systems & Software Testing and Debugging Techniques. The author has an h-index of 28, co-authored 159 publications.

ORCID: 0000-0002-3529-8682

Research Topics

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques Medieval Literature and History Logic, Reasoning, and Knowledge

Chat about Author

Papers

Chat

Click to start Chat