University Researchers
DEPARTMENT OF SCIENCE AND HIGH TECHNOLOGY
Insubria University
Italy
Currently he is working as Assistant Professor in Mathematical Logic at Dipartimento di Scienza e Alta Tecnologia Università degli Studi dell’Insubria
Constructive and intuitionistic mathematics Theory of topoi and applications Philosophy of information