About Thanos Tsouanas

Math, computer science, music, …

Professor at UFRN, Brazil.

Interests: constructive mathematics, {foundations, formalization} of mathematics, {type, category} theory, programming (languages); math/CS education as a research field, including the use of proof assistants and the acquirement of type/cat-theoretic constructive foundations ‟by osmosis”.

Back to the future: from mathematical foundations for computation to computational foundations for mathematics.

Lists

Timeline

tsouanas has no activity yet