Mathematician at Rutgers University

Alex Kontorovich

Alex Kontorovich is a number theorist at Rutgers specializing in the Riemann hypothesis, Lean, and machine-checked proofs.

Known For

Riemann hypothesisnumber theoryLeanformal proof