Document Actions

Prof. Dr. Flavio Leonardo Cavalcanti de Moura

Endereço:

Universidade de Brasília
Instituto de Ciências Exatas
Departamento de Ciência da Computação (CIC)
Campus Universitário -- Asa Norte
Sala: ASS-480/6
Brasília, DF
CEP: 70910-900

Telefone:

+55 (61) 3307-2702 Ramal 229

E-mail:

flaviomoura@unb.br

Página Pessoal:

http://www.cic.unb.br/~flavio/

Áreas de Interesse:

Lambda Calculus
Substituições Explícitas
Teoria de Reescrita
Unificação e Matching
GNU/Linux e Software Livre

Doutorado:

Doutorado em Matemática Aplicada - Teoria da Computação.Universidade de Brasília - UnB.

Mestrado:

Mestrado em Matemática Aplicada - Teoria da Computação.Universidade de Brasília - UnB.

Graduação:

Bacharelado e Licenciatura em Matemática.Universidade de Brasília - UnB.

March 2010

Portal

Sections

Personal tools