- Full Professor of the Department of Philosophy (DF)
Institute of Philosophy and Human Sciences (IFCH)
State University of Campinas (UNICAMP)

- Director of the Centre for Logic, Epistemology and the History of Science - (CLE UNICAMP)

- Member of the Security and Quantum Information Group - (SQIG-IT) of the Technical University of Lisbon, Portugal
-----
Areas of Interest - Logic, including non-classical logics, semantics, proof theory, relations between logic and combinatorics, computability theory including quantum computing, reasoning and argumentation, history and philosophy of logic.

See Activities for more