Walter Carnielli é graduado e licenciado em Matemática pela Universidade Estadual de Campinas (Unicamp) (1976), especialização em Filosofia da Ciência pela Unicamp (1981), mestrado em Matemática pela Unicamp (1978), doutorado em Matemática pela Unicamp (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 Security and Quantum Information Group - SQIG (IST, Lisboa), 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ânticas 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.

Eventos realizados pelo IHU com Walter Carnielli

• ChatGPT e DALL-E: implicações éticas e mercadológicas da inteligência artificial