Professor of Logic, Department of Philosophy, IFCH - UNICAMP

Administrative Activities 

Executive for  the Cooperation Agreement 
 "UNICAMP/CLE and  CNPq x Mast" 

Co- Executive for  the Cooperation Agreement 
"Convênio UNICAMP/CLE x Universidade de Coimbra" 

Co- Executive for   the Cooperation Agreement 
"Convênio UNICAMP/CLE x Instituto Oswaldo Cruz" 

Editorial Activities

 

The Journal of Applied Non-Classical  Logic 
Collecting Editor of  "The Journal of Applied Non-Classical  Logic" (JANCL).
http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/home.html

JANCL is the  result of a fusion of interests,  between Brazilian logicians,
who (starting in 1982) edited in Campinas the "Journal of Non-Classical Logics" (JNCL) and the French group at Toulouse. 
Old numbers of JNCL can be ordenred  to Revistas CLE <revistas@cle.unicamp.br>

For the recent  issue on Multiple-Valued Logics see 
http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/sommaire_global.html#9.1

Studia Logica
 

Associate Editor of Studia Logica
http://www.uni.torun.pl/StudiaLogica/about.html

Reports  on  Mathematical  Logic 

• Member  of the  Editorial Board of Reports  on  Mathematical  Logic 
• http://www.uj.edu.pl/Phils/rml/rml.htm#menurml

  Professional Positions
 

Assistant Professor, IME-University of São Paulo, 1981.

Assistant Professor, IMECC, State University of Campinas 1981-1986.

Associate Professor , IMECC, State University of Campinas 1986-1992 and IFCH-State University of Campinas, 1992-1996

Full Professor, IFCH- State University of Campinas (since 1996)

  Visiting Positions

Instructor in Mathematics, Universidad Católica de Chile,Santiago de Chile,1978.

Research fellow (Post-doctoral position) Institute of Mathematics, University of California, Berkeley, USA, 1984.

Visiting researcher, Instituto Venezolano de Investigaciones Científicas, Dept. of Mathematics, Caracas, Venezuela, 1987 (3 months ).

Visiting researcher, Istituto di Informatica, Università degli Studi di Torino, Italy, 1988 (3 months)

Grant holder of the Alexander von Humboldt Foundation, Inst. für mathematische Logik und Grundlagenforschung, Universität Münster,Germany, 1988-1989.

Visiting researcher, Institut de Recherche en Informatique de Toulouse, Univ. Paul Sabatier, Toulouse, France, 1992. (2 months)

Visiting Professor, Univ. de Paris -Sud, Orsay, France,1992 (2 months).

Visiting Professor,Universidad Nacional de Colombia, Bogotá, Colombia, 1994 (2 months ).

Visiting Professor Dipartimento di Filosofia e Scienze Sociali, Universitá degli Studi di Siena, Italy, 1996 (2 months). Visiting Professor, Instituto Superior Técnico, Lisboa, Portugal, 1999

Visiting Professor, Universitat de Barcelona, Spain, 1999 ((Intercampus Program)

Visiting Professor,  Universitat de Lleida, Spain, 1999

  Academic Qualifications

Bachelor´s Degree in Mathematics, IMECC-UNICAMP, Campinas, 1976

Master´s Degree in Mathematics (Algebra), IMECC-UNICAMP,Campinas, 1978

Specialization in Philosophy of Science, IFCH-UNICAMP, Campinas, 1980

PhD in Logic and the Foundations of Mathematics, IMECC-UNICAMP,Campinas, 1982

"Livre-Docente" (equivalent to the German "Habilitation") in Logic and the Foundations of Mathematics, IMECC-UNICAMP,Campinas, 1990

"Professor Titular" (Full Professor) in Logic and the Foundations of Mathematics, IFCH-UNICAMP, Campinas, 1996