Walter Alexandre Carnielli
- Unicamp Full Professor
Walter Alexandre Carnielli is a full Professor at University of Campinas – Unicamp, Brazil – working in the areas of Logic, Foundations of Mathematics and Probability, and Philosophy of Formal Sciences. He has special interested in formalisms that extend classical logic, probability theory, and reasoning. He holds a PhD in Mathematics from Unicamp with postdoc positions from the University of California, Berkley and University of Münster, Germany. Carnielli is a fellow of the Alexander von Humboldt Foundation and member of the Security and Quantum Information Group of the Technical University of Lisbon, Portugal. He has served, among other activities, as Director of the Centre for Logic, Epistemology and the History of Science (CLE) at Unicamp, president of the Brazilian Logic Society (SBL), frequent committee member of the Florida Artificial Intelligence Research Society (FLAIR) and International Joint Conference on Artificial Intelligence (IJCAI), and currently as executive editor of the Logic Journal of the IGPL (Oxford Un.Press). Carnielli is the president of the Scientific Committee and coordinator of the Laboratory of Logic and Critical Thinking at The Modal Institute (Brasília) and a recipient of the Telesio Galilei Gold Medal and Prêmio Jabuti.