Bolsistas CNPq – PQ - Lógica - 25-01-2014
Nome
Niv
Com
CNPq
F
F
F
F
C
Dep /Uni
L
F / UNICAMP
F / UnB
F / UFSC
F / PUC-RJ
C / UFRJ
L
L
L
L
L
F / UFSC
F / PUC
F / UNICAMP
F / UNICAMP
L
L
L
L
Itala D’Ottaviano
Nelson Gomes
Newton da Costa
Oswaldo Chateaubriand
Paulo Veloso
 1A
Décio Krause
Luiz Carlos Pereira
Marco Ruffino
Walter Carnielli
 1B
 1B
1B
 1B
F
F
F
F
Francisco Antonio Doria
Marcelo Finger
 1C
 1C
F
C
E / UFRJ
C / USP
L
L
Dirk Greimann
Gerson Zaverucha
Jairo José da Silva
Sheila Veloso
1D
1D
1D
 1D
F
C
F
C
F / UFF
C / UFRJ
A / UNESP
E / UERJ
L
L
L
L
F
C
C
F
F
F
F
C
C
F
C
C
C
F
C
F / UFBA
C / UFC
C / PUC-RJ
F / UFSM
F / UFRJ
F / PUC-SP
F / UFRJ
M/ UFF
C / UFRJ
F / UNICAMP
C / UFRJ
M/ UFF
C / USP
F / UFRJ
C /UFPB
L
L
L
L
L
L
L
L
L
L
L
L
L
L
L
Abel Lassalle Casanave
Ana Teresa de Castro Martins
Edward Hermann Haeusler
Frank Sautter
Guido Imaguire
Ivo Assad Ibri
Jean-Yves Beziau
Jorge Petrucio Viana
Luis Menasché Schechter
Marcelo Coniglio
Mario Benevides
Renata Pereira de Freitas
Renata Wassernann
Rodrigo Guerizoli
Vivek Nigam
1A
 1A
 1A
 1A
2
 2
 2
 2








2
2
2
2
2
2
2
2
2
2
2
S
G
G
G
S
G
S
G
S
G
S
G
S
S
G
S
S
S
S
S
S
S
G
S
G
30 Bolsitas CNPq
15 Nível 1
15 Nível 2
18 Filosofia 12 Computação
= lógica area principal de atuação (evaluação aproximativa)
L = Lattes S = Website G = Google Scholar (Basta clicar na letra colorida para accessar)
F = Filosofia C = Computação M = Matemática E = Engenheria D = Direito A = Aposentado(a)
G
G
Abilio Azambuja Rodrigues Filho
Adolfo Gustavo Serra Seca Neto
Alexandre Costa Leite
Alexandre Rademaker
Alfio Martini
Andrea Loparic
Andreas Brunner
Andrey Bovykin
Antonio Mariano Coelho
Arthur Buchsbaum
Cassiano Terra Rodrigues
Cezar Mortari
Cicero Barroso
Daniel Durante
Désiderio Murcho
Edelcio Gonçalves de Souza
Eduardo Ochs
Elaine Pimentel
Evandro Luis Gomes
Francisco Mirgalia
Guilherme Wyllie
Guy Hamelin
Hercules Feitosa
Hugo Luiz Mariano
Jair Minoro Abe
João Marcos
Jorge Molina
José Carlos Cifuentes
José Inacio da Silva
Juliana Bueno-Soler
Juliano Maranhão
Lafayette de Moraes
Leandro Suguitani
Marcelino Pequeno
Maria da Paz
Paulo Alcoforado
Pedro Santos
Ricardo Bianconi
Ricardo Silvestre
Rodolfo Ertola
Rodrigo Bacelar
Ruy de Queiroz
Samuel Gomes da Silva
Steffen Lewitzka
Tarcisio Pequeno
Vera Vidal
Wagner Sanz
Walter Gomide







































F / UFMG
C / UTFPR
F / UnB
C / FGV-IBM
C / PUC RS
A / USP
M / UFBA
M / UFBA
F / UFMG
C / UFSC
F / PUC-SP
F / UFSC
F / UFC
F / UFRN
F / UFOP
F / USP
M / UFF
C / UFRN
F / UEM
M / USP
F / UFF
F / UnB
M /UNESP
M / USP
E / UNIP
C / UFRN
F / UERGS
M / UFPR
E / UNISANTA
E / UNICAMP
D / USP
A / PUC-SP
M / UFBA
C / UFC
F / UFRN
A / UFRJ
F / UNIFESP
M /USP
F / UFCG
F / UNICAMP
F / USP
C / UFPE
M / UFBA
M / UFBA
A / UFC
A / UFRJ
F / UFG
F / UFMT


48 Não Bolsistas (há pessoas que não pediram a bolsa, outros que pediram ou perderam)
Essa lista de 78 lógicos é uma lista de lógicos lato sensu: pessoas que ensinam e
escrevam artigos relacionados a lógica
Para obter uma lista de lógicos stricto sensu, lógicos cujo domínio de atuação
principal é a lógica, teria que tirar de 10 ha 20 % dos nomes.
Nesta lista so constam pessoas que tem uma posição permanente.
Incluindo doutorandos e pos-doutorandos, há mais de 100 pesquisadores que
atuam em lógica no Brasil.
Jean-Yves Beziau
http://www.jyb-logic.org/
baseada em dados do
http://www.cnpq.br/documents/10157/5f43cefd-7a9a-4030-945e-4a0fa10a169a