Walter Carnielli
Walter Carnielli em Berkeley, em 1984
Nascimento	11 de janeiro de 1952 (72 anos) Campinas
Nacionalidade	brasileiro
Alma mater	Universidade Estadual de Campinas
Orientador(es)(as)	Newton da Costa[1]
Campo(s)	matemática
Tese	1982: Sobre O Método Dos Tableaux Em Lógicas Polivalentes Finitárias

Walter Alexandre Carnielli (Campinas, 11 de janeiro de 1952) é um matemático, lógico e filósofo brasileiro.

É professor de lógica na Universidade Estadual de Campinas, onde foi bacharel mestre e doutor, em 1984, orientado por Newton da Costa. Pós-doutorado na Universidade da Califórnia em Berkeley, convidado por Leon Henkin.

Referências

• Lista de matemáticos do Brasil

• Walter Carnielli (em inglês) no Mathematics Genealogy Project