Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP)] With a Bachelor and a Ms.C. degree in mathematics at the State University of Campinas ]in Campinas he obtained his Ph.D. in 1984 in the same university under the supervision of Newton da Costa and subsequently stayed as a PostDoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.