Professor

Sistemas Lógicos Formais Teoria da Computação Metamatemática Axiomatização de teorias Finitismo Complexidade Computacional Aritmética de Peano Classes de Complexidade Probabilísticas Métodos Probabilísticos em Computação Caracterização de Classes de Complexidade Fundamentos da Matemática - Lógica Problema P = NP Classe PCP Indemonstrabilidade e Independência em Teorias Resultados de independência/indemonstrabilidade Problema do colapso da hierarquia polinomial Problema NP = coNP Leis zero-um Grafos aleatórios Indemonstrab. e Independência em Sistemas Formais teoria dos conjuntos