Mais um professor da Unicamp é agraciado com o Prêmio da Telesio Galilei Academy of Science. Em 2013, a medalha de ouro será entregue a Walter Carnielli, diretor do Centro de Lógica, Epistemologia e História da Ciência e professor do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas da Unicamp, por suas contribuições à lógica, à matemática e à filosofia.

Para Carnielli, a premiação representa o reconhecimento internacional de um trabalho realizado há mais de 30 anos na Universidade ao lado dos companheiros do grupo de estudos em Lógica, Ítala D’Ottaviano, recentemente eleita membro da Académie Internationale de Philosophie des Sciences, e Marcelo Coniglio. “É um reconhecimento pelo esforço e pelo nosso trabalho pioneiro, como também de docentes como Newton da Costa e de atuais e ex-estudantes, que hoje ocupam posições de destaque em universidades do Brasil, da Argentina, da Colômbia, da Venezuela e outros países da América Latina”, declara Carnielli.

De acordo com o professor, o grupo é referência internacional na área de Lógica, o que faz com que receba alunos da China, da Alemanha, Portugal, França e Itália. Carnielli desenvolve pesquisas na área de lógica e fundamentos de matemática, com ênfase em temas como 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, e história e filosofia da lógica.

Carnielli compõe o corpo editorial de diversas revistas e sociedades científicas internacionais. Também é bolsista da Fundação Alexander von Humboldt  e membro do Security and Quantum Information Group (SQIG) de Lisboa, Portugal. Um dos fundadores do Grupo de Trabalho de Lógica da Anpof, o professor também presidiu a Sociedade Brasileira de Lógica por dois mandatos. Carnielli é também consultor do Tribunal Superior Eleitoral para melhoramento do sistema brasileiro de votação.

Em 2007, o docente recebeu o Prêmio Jabuti da Câmara Brasileira de Livros (CBL) pela obra Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática, publicado pela Editora Unesp em 2006. Neste livro, tem como coautor Richard L. Epstein. A versão em inglês, intitulada Computability: Recursive Functions, Logic and the Foundations of Mathematics  (Wadsworth-Brooks/Cole), foi lançada nos Estados Unidos, em 1988. A obra foi adotada como livro-texto em  mais de  50 universidades pelo mundo, sendo  inclusive  indicado pelo  Philosophy Handbook 2011–2012 da University of  London como um dos livros-textos  principais  do curso de  Lógica Simbólica.