Concepedia

Jeremy Avigad

JA

Statistics

Publications

47

Citations

1.5K

H-Index

23

Active since

1996

Affiliations

Carnegie Mellon University(Current)

Jeremy Avigad is an author at Carnegie Mellon University specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

1996–2024

47

Publications

47

A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>

Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text

Local stability of ergodic averages

Jeremy Avigad, Philipp Gerhardy, Henry Towsner · Transactions of the American Mathematical Society · 2009 · 93 citations · Full text

Formally verified mathematics

Jeremy Avigad, John Harrison · Communications of the ACM · 2014 · 92 citations

, , +11

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text

, , +19

Delta-Decidability over the Reals

Sicun Gao, Jeremy Avigad, Edmund M. Clarke · 2012 · 77 citations

1–5 of 47