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