Profa.
Anjolina Grisi de Oliveira
(Doutor, UFPE) trabalha com
Teoria da Prova, Dedução Natural,
Lógica Linear.
Prof. José
Dias dos
Santos (Ph.D., Kent) trabalha na área de Algoritmos
Numéricos Paralelos.
Profa.
Kátia Silva
Guimarães (Ph.D., U. of Maryland) trabalha com
Desenvolvimento e Análise de Algoritmos,
e também com Complexidade Computacional.
Profa.
Liliane Rose Benning Salgado
(Doutora, USP) trabalha na área de Algoritmos
de Aproximação, Combinatória.
Profa.
Marcília Andrade
Campos (Doutora, UFPE) trabalha com
Probabilidade e Matemática Intervalar.
Prof. Ruy José Guerra
Barretto de Queiroz (Ph.D., Imperial College) trabalha na área de
Fundamentos Lógicos da Computação. É editor
executivo do Logic Journal of
Interest Group in Pure and Applied Logics
(IGPL), que é
parte da European Association for Logic, Language and Information
(FoLLI).
Última atualização em 20 de Fevereiro de 2006, 17:01pm PST