Friedman, Joel

1962

• Expanding graphs
• A proof of Alon's second eigenvalue conjecture and related problems
• Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture
• The decision method for real algebra: is it practical?