Giovanni Curi

Senior Research Associate
Department of Mathematics - University of Padova
Via Trieste, 63 - 35121 Padova (Italy)

e-mail address: gcuri math unipd it
(fill the first gap with "@", the remaining ones with ".")

My CV.

Constructive set theories, type theories; proof theory of constructive systems.
Generalized Stone dualities, pointfree topology (locale theory/formal topology), topology, and the interactions of these subjects with mathematical logic.
Topos-valid mathematics, constructive mathematics.

Last modified May 15, 2011