Giovanni Sambin

Italian logician who developed formal topology — a point-free, constructive account of topology — and the Basic Picture, a framework for constructive foundations.

Formal topology: a point-free constructive topology that avoids the use of classical logic and the axiom of choice. The Basic Picture: a constructive framework that subsumes both topology and algebra.