Pesquisa e Pós-Graduação em
Ciência da Computação

ÁREA DE TEORIA DA COMPUTAÇÃO

O grupo de Teoria e Fundamentos Lógicos da Computação do CIn/UFPE, embora pequeno, é bastante atuante nas duas subáareas da Teoria da Computação:
(i) Algoritmos e Complexidade Computacional (Teoria A), em particular, Algoritmos de String Matching (e aplicações em Biologia Computacional), Algoritmos Aproximados para Problemas em Grafos;
(ii) Modelos Formais e Semântica (Teoria B), particularmente, Teoria da Prova, Complexidade de Provas e sua relação com Complexidade Computacional, Teoria dos Modelos e sua relação com Complexidade Descritiva e o Poder Expressivo de Linguagens de Consulta a Bancos de Dados, Semântica e Modelos de Processos Concorrentes.
(iii) O grupo tem procurado atuar também nas subáareas emergentes entre "Teoria A" e "Teoria B", em particular, Fundamentos Lógicos da Teoria da Complexidade, Complexidade Descritiva e Teoria de Modelos Finitos, Complexidade Algébrica, Complexidade de Sistemas Dedutivos.

"Aqui estão representados os interesses e atividades de um grupo de pesquisadores trabalhando em áreas usualmente chamadas "teóricas". Isso deve ser confrontado não com trabalho "prático", mas sim com trabalho "concreto". Trabalho concreto consiste de invenções e software bem particulares, enquanto que trabalho teórico consiste de idéias, algoritmos e demonstrações. Um dos fatos infelizes (embora inevitáveis) a respeito de pesquisa é que a sua maior parte -- a maior parte de trabalho concreto assim como de trabalho teórico -- nunca é utilizada. É por isso que é chamada de pesquisa. Quando os resultados da pesquisa são utilizados, entretanto, eles tendem a ser duradouros. Isso é especialmente verdadeiro no caso da pesquisa teórica." (fonte)

Visita número desde 29/Dezembro/97.