Giovanni Sambin is a mathematician working in formal topology, constructive mathematics, intuitionistic logic. He is a professor at Università di Padova.