Walter Carnielli

Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1976), especialização em Filosofia da Ciência pela Universidade Estadual de Campinas (1981), mestrado em Matemática pela Universidade Estadual de Campinas (1978), doutorado em Matemática pela Universidade Estadual de Campinas (1982), pós-doutorado pela University of California (1985), pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsista da Fundação Alexander von Humboldt. É Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou por dois outros mandatos. É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) e de diversas sociedades científicas internacionais. Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semântica formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos. Atualmente, é pesquisador e Presidente do Comitê Científico do Instituto Modal.