Walter Carnielli graduated in Mathematics from the State University of Campinas (1976), had his Masters in Mathematics (1978) and a further specialization in Philosophy of Science (1981), together with a PhD in Mathematics (1982) from the same institution. He had a postdoctoral fellowship from the University of California (1985), from the Universitat Munster (Westfalische-Wilhelms) (1990) and the Rheinische Friedrich-Wilhelms-Universität Bonn, with a scholarship from the Alexander von Humboldt Foundation. He is currently a Full Professor at the Department of Philosophy at the State University of Campinas and Director of the Center for Logic, Epistemology and History of Science (CLE), a position he has held for two other terms. He is editor and member of the editorial board of several scientific journals, member the SQIG – Security and Quantum Information Group (IST, Lisbon, Portugal), the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) and several international scientific societies. His researches and teaches in the area of Philosophy, with emphasis in Logic and Fundamentals of Mathematics. He mainly works on Foundations of Contemporary Logic Systems, Logic and Foundations of Computation, Formal Semantics, combination of Logics, finite and infinite Combinatorics, History and Philosophy of Logic, in particular his attention is devoted to Modal and Paraconsistent Logics. He presided over the Brazilian Society of Logic (BSL) for two terms, and founded the GT of logic of ANPOF, which he coordinated for several years.
